Merge pull request #97 from ybertot/coq-v8.15

test files have to be included after all see #95
coq-community · Jan 24, 2022 · ace36dd · ace36dd
2 parents 6f5e007 + f0d3870
commit ace36dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile.in b/Makefile.in
@@ -149,7 +149,7 @@ TESTS_LOG=$(TESTS:%=%.log)
 TESTS_ORACLE=$(TESTS:%=%.oracle)
 TESTS_OK=$(TESTS:%=%.ok)
 
-# DISTRIBUTED+=$(TESTS_SRC) $(TESTS_ORACLE)
+DISTRIBUTED+=$(TESTS_SRC) $(TESTS_ORACLE)
 
 .PRECIOUS : $(TESTS) $(TESTS_LOG) $(TESTS_ORACLE)