X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Frun_times;h=eb2380bd7aea8dafb26a40a5aac854039a7b8f56;hp=3687f1ef59dfb7fe0ba142be3acb24875475d606;hb=28a3fbcae30217a4574ec5cd64a89c8757a54cbf;hpb=ef2ed9a711c416722c34548015b4ae3621948c1c;ds=sidebyside

diff --git a/check/run_times b/check/run_times
index 3687f1ef..eb2380bd 100755
--- a/check/run_times
+++ b/check/run_times
@@ -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