don't index Eigen

1 files changed, 0 insertions, 22 deletions

diff --git a/eigen/scripts/buildtests.in b/eigen/scripts/buildtests.in
deleted file mode 100644
index 526d5b7..0000000
--- a/eigen/scripts/buildtests.in
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/bin/bash
-
-if [[ $# != 1 || $1 == *help ]]
-then
-  echo "usage: $0 regexp"
-  echo "  Builds tests matching the regexp."
-  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'"
-  exit 0
-fi
-
-TESTSLIST="@EIGEN_TESTS_LIST@"
-targets_to_make=`echo "$TESTSLIST" | egrep "$1" | xargs echo`
-
-if [ -n "${EIGEN_MAKE_ARGS:+x}" ]
-then
-  @CMAKE_MAKE_PROGRAM@ $targets_to_make ${EIGEN_MAKE_ARGS}
-else
-  @CMAKE_MAKE_PROGRAM@ $targets_to_make @EIGEN_TEST_BUILD_FLAGS@
-fi
-exit $?
-