diff options
author | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2015-02-28 16:51:53 +0100 |
---|---|---|
committer | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2015-02-28 16:51:53 +0100 |
commit | 73dd95e7b03b4451ddf5cee17f4b44f2a7d6d91d (patch) | |
tree | 0c66bbc0b700a3131852d0fcfc1ce53fc5cf43ee /scripts | |
parent | 682196e9fcdef7fb329fde833e30e91bb3f89077 (diff) |
Use @CMAKE_MAKE_PROGRAM@ instead of make in buildtests.sh
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/buildtests.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/buildtests.in b/scripts/buildtests.in index 7026373cf..d2fd10276 100755 --- a/scripts/buildtests.in +++ b/scripts/buildtests.in @@ -14,9 +14,9 @@ targets_to_make=`echo "$TESTSLIST" | egrep "$1" | xargs echo` if [ -n "${EIGEN_MAKE_ARGS:+x}" ] then - make $targets_to_make ${EIGEN_MAKE_ARGS} + @CMAKE_MAKE_PROGRAM@ $targets_to_make ${EIGEN_MAKE_ARGS} else - make $targets_to_make + @CMAKE_MAKE_PROGRAM@ $targets_to_make @EIGEN_TEST_BUILD_FLAGS@ fi exit $? |