reverted last change: function_index_* ist not necessarily in namespace GiNaC

[ginac.git] / check / run_times

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