Diff

Makefile @ 7165:f0e6757261bc

Makefile: Use runtime set by configure (fixes #629)
author Kim Alvefur <zash@zash.se>
date Thu, 18 Feb 2016 19:08:01 +0100
parent 7071:d9e620adfb64
child 7234:161f9f163e37
line wrap: on
line diff
--- 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