diff options
Diffstat (limited to 'scripts/maketests.in')
-rwxr-xr-x | scripts/maketests.in | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/scripts/maketests.in b/scripts/maketests.in deleted file mode 100755 index f9cafed26..000000000 --- a/scripts/maketests.in +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash - -if [ $# == 0 -o $# -ge 3 ] -then - echo "usage: ./maketests regexp [jobs]" - echo " makes tests matching the regexp, with <jobs> concurrent make jobs" - exit 0 -fi - -TESTSLIST="${cmake_tests_list}" -targets_to_make=`echo "$TESTSLIST" | grep "$1" | sed s/^/test_/g | xargs` - -if [ $# == 1 ] -then - make $targets_to_make -fi - -if [ $# == 2 ] -then - make -j $2 $targets_to_make -fi |