From 5cbaa1ba371a9a681aadd55641400308d4bf28a6 Mon Sep 17 00:00:00 2001 From: Flaviu Tamas Date: Sat, 7 Feb 2015 13:19:43 -0500 Subject: [PATCH] Remove unnecessary filter The things it was filtering do not need to be filtered --- runtests.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/runtests.sh b/runtests.sh index c15ef088a6..51dbcaf35b 100755 --- a/runtests.sh +++ b/runtests.sh @@ -1,4 +1,3 @@ #!/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' + --stacktrace:on --linetrace:on "$@" ./test/testall.nim