Makefile
changeset 7168 f0e6757261bc
parent 7074 d9e620adfb64
child 7237 161f9f163e37
--- a/Makefile	Thu Feb 18 14:57:51 2016 +0100
+++ b/Makefile	Thu Feb 18 19:08:01 2016 +0100
@@ -53,7 +53,7 @@
 	$(MAKE) clean -C util-src
 
 test:
-	cd tests && ./run_tests.sh
+	cd tests && $(RUNWITH) test.lua
 
 util/%.so:
 	$(MAKE) install -C util-src