Patch from Alexei for enabling compilation on MinGW.
[ginac.git] / check / run_times
index 3687f1ef59dfb7fe0ba142be3acb24875475d606..eb2380bd7aea8dafb26a40a5aac854039a7b8f56 100755 (executable)
@@ -1,4 +1,4 @@
 #! /bin/sh
 echo "GiNaC will now run through some basic timings:"
-./times 2>times.out
+./times${EXEEXT} 2>times.out
 cmp ${srcdir}/times.ref times.out