check: indicate the test failures with non-zero exit code; split test programs.

[ginac.git] / check / run_checks

diff --git a/check/run_checks b/check/run_checks
deleted file mode 100755 (executable)
index 93b7706..0000000
--- a/check/run_checks
+++ /dev/null
@@ -1,4 +0,0 @@
-#! /bin/sh
-echo "GiNaC will now run through some rather costly random consistency checks:"
-./checks${EXEEXT} 2>checks.out
-cmp ${srcdir}/checks.ref checks.out