diff options
author | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2016-05-11 19:39:09 +0200 |
---|---|---|
committer | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2016-05-11 19:39:09 +0200 |
commit | bda21407ddc3585f4feb4d1c305ae16733b34499 (patch) | |
tree | ee428fe047daed65f132328388a1d2e2603df80c /scripts/check.in | |
parent | 33ca7e3c8d2bb4adbb5bec110618beb32d20f9dc (diff) |
Fix help output of buildtests and check scripts
Diffstat (limited to 'scripts/check.in')
-rwxr-xr-x | scripts/check.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check.in b/scripts/check.in index a90061a57..7717e2d93 100755 --- a/scripts/check.in +++ b/scripts/check.in @@ -3,7 +3,7 @@ if [[ $# != 1 || $1 == *help ]] then - echo "usage: ./check regexp" + echo "usage: $0 regexp" echo " Builds and runs tests matching the regexp." echo " The EIGEN_MAKE_ARGS environment variable allows to pass args to 'make'." echo " For example, to launch 5 concurrent builds, use EIGEN_MAKE_ARGS='-j5'" |