Adjust CI scripts for superproject changes

2018-12-19 20:59:19 -08:00
parent c4813a5ac7
commit cf06a8dd6a
11 changed files with 53 additions and 3 deletions
@@ -14,3 +14,7 @@ alias run-tests :
 alias fat-tests ;

 explicit fat-tests ;
+
+run $(TEST_MAIN) $(SOURCES) : : : : run-fat-tests ;
+
+explicit run-fat-tests ;