From a3cdda69c5817f118d17a0f6d9f0d81ae743ad75 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 22 Jul 2019 09:54:37 +0200
Subject: [PATCH] [Makefile] robustify Makefile
Exclude hidden files to avoid mysterious "missing separator" errors if there
are any .ml files starting with '.#' (e. g. lock files created by Emacs).
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 90e779f26d5..d0e04ef544c 100644
--- a/Makefile
+++ b/Makefile
@@ -1417,7 +1417,7 @@ acsl_tests: byte
find doc/speclang -name \*.c -exec ./bin/toplevel.byte$(EXE) {} \; > /dev/null
LONELY_TESTS_ML_FILES:=\
- $(shell find $(TEST_DIRS_AS_PLUGIN:%=tests/%) -name '*.ml')
+ $(sort $(shell find $(TEST_DIRS_AS_PLUGIN:%=tests/%) -not -path '*/\.*' -name '*.ml'))
$(foreach file,$(LONELY_TESTS_ML_FILES),\
$(eval $(file:%.ml=%.cmo): BFLAGS+=-I $(dir $(file))))
$(foreach file,$(LONELY_TESTS_ML_FILES),\
--
GitLab