]> www.ginac.de Git - ginac.git/blob - check/run_times
eb2380bd7aea8dafb26a40a5aac854039a7b8f56
[ginac.git] / check / run_times
1 #! /bin/sh
2 echo "GiNaC will now run through some basic timings:"
3 ./times${EXEEXT} 2>times.out
4 cmp ${srcdir}/times.ref times.out