Patch from Alexei for enabling compilation on MinGW.

[ginac.git] / check / run_checks

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