Makefile
changeset 7237 161f9f163e37
parent 7168 f0e6757261bc
child 7240 472736b583fb
--- a/Makefile	Fri Mar 04 22:17:16 2016 +0000
+++ b/Makefile	Fri Mar 04 22:17:38 2016 +0000
@@ -53,7 +53,7 @@
 	$(MAKE) clean -C util-src
 
 test:
-	cd tests && $(RUNWITH) test.lua
+	cd tests && $(RUNWITH) test.lua 0
 
 util/%.so:
 	$(MAKE) install -C util-src