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

test files have to be included after all see #95

Author: ybertot

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)