#! /bin/sh
echo "GiNaC will now run through some basic timings:"
./times${EXEEXT} 2>times.out
cmp ${srcdir}/times.ref times.out
