diff --git a/runtests.sh b/runtests.sh
new file mode 100755
index 0000000000..39f9db286e
--- /dev/null
+++ 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'