diff --git a/tools/init b/tools/init index 29b78340ff9..5baac5d829c 100755 --- a/tools/init +++ b/tools/init @@ -17,7 +17,7 @@ _no_gh=false help() { echo "Usage:" echo - echo " bash /path/to/init.sh [options]" + echo " bash /path/to/init [options]" echo echo "Options:" echo " --no-gh Do not deploy to Github." diff --git a/tools/release b/tools/release index 6bd0c821d95..d2782dcac28 100755 --- a/tools/release +++ b/tools/release @@ -48,7 +48,7 @@ help() { echo echo "Usage:" echo - echo " bash ./tools/release.sh [options]" + echo " bash ./tools/release [options]" echo echo "Options:" echo " -k, --skip-versioning Skip the step of generating the version number." diff --git a/tools/test b/tools/test index a647bde5adb..83a9490da46 100755 --- a/tools/test +++ b/tools/test @@ -19,7 +19,7 @@ help() { echo echo "Usage:" echo - echo " bash ./tools/test.sh [options]" + echo " bash ./tools/test [options]" echo echo "Options:" echo ' -c, --config "" Specify config file(s)'