print_tree: only print the "nops=" line when nops() > 0
[ginac.git] / check / run_checks
index 92ba1a2bd6b08881a4c7d0028a842af805e764ac..6304d18f5b66b09086d9a690a36071bdd9058e9e 100755 (executable)
@@ -1,4 +1,4 @@
 #! /bin/sh
-echo "GiNaC will now run through some rather costly consistency checks:"
+echo "GiNaC will now run through some rather costly random consistency checks:"
 ./checks 2>checks.out
 cmp ${srcdir}/checks.ref checks.out