Make it easier to run tests

Now it's just `$ ./runtests.sh`!
2026-02-16 08:04:20 +00:00 · 2015-01-16 19:22:36 -05:00
parent 01e22abb19
commit 6a2ebb804f
1 changed files with 4 additions and 0 deletions
--- a/runtests.sh
+++ b/runtests.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/sh
+nim c --path:src -r --verbosity:0 --hints:off --linedir:on --debuginfo \
+  --stacktrace:on --linetrace:on  ./test/testall.nim \
+  | grep -vE 'ProveInit|instantiation from here'