aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/check.in
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/check.in')
-rwxr-xr-xscripts/check.in2
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'"