X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Frun_checks;h=93b77065d1b0ca0acbe93fa685c12d1cf6051fc9;hp=6304d18f5b66b09086d9a690a36071bdd9058e9e;hb=28a3fbcae30217a4574ec5cd64a89c8757a54cbf;hpb=ef2ed9a711c416722c34548015b4ae3621948c1c

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