]> www.ginac.de Git - ginac.git/blobdiff - check/run_times
- Completely restructured the checks in subdir check/.
[ginac.git] / check / run_times
diff --git a/check/run_times b/check/run_times
new file mode 100755 (executable)
index 0000000..3687f1e
--- /dev/null
@@ -0,0 +1,4 @@
+#! /bin/sh
+echo "GiNaC will now run through some basic timings:"
+./times 2>times.out
+cmp ${srcdir}/times.ref times.out