diff options
-rw-r--r-- | test/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Makefile b/test/Makefile index bbd7132884..00c5ef268d 100644 --- a/test/Makefile +++ b/test/Makefile @@ -66,6 +66,7 @@ check-one: site.exp $(TCLSH) echo "proc fail { msg } { puts \"FAIL: \$$msg\" }" ; \ echo "proc xfail { msg } { puts \"XFAIL: \$$msg\" }" ; \ echo "proc xpass { msg } { puts \"XPASS: \$$msg\" }" ; \ + echo "proc verbose args { }" ; \ echo "source $(LLVM_SRC_ROOT)/test/lib/llvm.exp" ; \ echo "RunLLVMTests $(TESTPATH)" ) | \ ( ulimit -t 600 ; ulimit -d 512000 ; \ |