introduce check target, and some renaming

1 files changed, 0 insertions, 21 deletions

diff --git a/test/maketests.in b/test/maketests.in
deleted file mode 100755
index f9cafed26..000000000
--- a/test/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