Ci fixes

2020-09-01 15:07:33 -04:00
parent b82f5a9011
commit 9aa24d3d83
12 changed files with 27110 additions and 31912 deletions
--- a/ci/test_runtime.sh
+++ b/ci/test_runtime.sh
@@ -1,3 +1,3 @@
 #!/bin/bash

-cd ../runtime/tests && make run -f Makefile
+make -C runtime/tests run