Skip to content
Snippets Groups Projects
Commit a3cdda69 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[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).
parent 9b437bda
No related branches found
No related tags found
No related merge requests found
......@@ -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),\
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment