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

finish the change of adding .sh extensions to scripts

Browse Source
This commit is contained in:
Benoit Jacob
2010-05-30 15:58:11 -04:00
parent 641d968a9a
commit 42f1b7d470
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/check.in
View File

@@ -14,8 +14,8 @@ fi
if [ -n "${EIGEN_CTEST_ARGS:+x}" ]
then
./buildtests "$1" && ctest -R "$1" ${EIGEN_CTEST_ARGS}
./buildtests.sh "$1" && ctest -R "$1" ${EIGEN_CTEST_ARGS}
else
./buildtests "$1" && ctest -R "$1"
./buildtests.sh "$1" && ctest -R "$1"
fi
exit $?