diff options
Diffstat (limited to 'eigen/scripts/check.in')
| -rw-r--r-- | eigen/scripts/check.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/eigen/scripts/check.in b/eigen/scripts/check.in index a90061a..7717e2d 100644 --- a/eigen/scripts/check.in +++ b/eigen/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'" |