From f0d3870a18a48fb6307e64513a2d092ccc0395f5 Mon Sep 17 00:00:00 2001 From: Yves Bertot Date: Mon, 24 Jan 2022 08:45:30 +0100 Subject: [PATCH] test files have to be included after all see #95 --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index ee4422b9b..6957c6d94 100644 --- 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)