devtools/eigen
1
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2026-04-10 11:34:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix help output of buildtests and check scripts

Browse Source
This commit is contained in:
Christoph Hertzberg
2016-05-11 19:39:09 +02:00
parent 33ca7e3c8d
commit bda21407dd
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/buildtests.in
View File

@@ -2,7 +2,7 @@
if [[ $# != 1 || $1 == *help ]] if [[ $# != 1 || $1 == *help ]]
then then
echo "usage: ./check regexp" echo "usage: $0 regexp"
echo " Builds tests matching the regexp." echo " Builds tests matching the regexp."
echo " The EIGEN_MAKE_ARGS environment variable allows to pass args to 'make'." 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'" echo " For example, to launch 5 concurrent builds, use EIGEN_MAKE_ARGS='-j5'"

2
scripts/check.in
View File

@@ -3,7 +3,7 @@
if [[ $# != 1 || $1 == *help ]] if [[ $# != 1 || $1 == *help ]]
then then
echo "usage: ./check regexp" echo "usage: $0 regexp"
echo " Builds and runs tests matching the regexp." echo " Builds and runs tests matching the regexp."
echo " The EIGEN_MAKE_ARGS environment variable allows to pass args to 'make'." 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'" echo " For example, to launch 5 concurrent builds, use EIGEN_MAKE_ARGS='-j5'"