diff --git a/devmode.sh b/devmode.sh index 6e0681930..8855ade10 100755 --- a/devmode.sh +++ b/devmode.sh @@ -15,7 +15,7 @@ usage () { echo "" echo "Options:" echo " -c, --config " - echo " specify the node configuration (default=$OPT_CONFIG)" + echo " specify the node configuration (default=$CONFIG)" echo " -n, --no-gate do not ask for gating a commit when gating" echo " variables are missing (default is gating)" echo " -w, --working-dir "