diff --git a/bin/manage-tools b/bin/manage-tools index 86fbf5c..7c10732 100755 --- a/bin/manage-tools +++ b/bin/manage-tools @@ -2,6 +2,9 @@ set -eu -o pipefail # set -x +CTF_TOOLS_ROOT="$(dirname "${BASH_SOURCE[0]}")/.." + + function usage() { cat <