diff options
| -rw-r--r-- | Makefile | 6 | ||||
| -rw-r--r-- | Makefile.build | 2 |
2 files changed, 4 insertions, 4 deletions
@@ -31,7 +31,7 @@ export FIND_VCS_CLAUSE:='(' \ -name '.git' -or \ -name 'debian' -or \ -name "$${GIT_DIR}" \ -')' -prune -type f -or +')' -prune -or export PRUNE_CHECKER := -wholename ./checker/\* -prune -or FIND_PRINTF_P:=-print | sed 's|^\./||' @@ -52,7 +52,7 @@ export MLIFILES := $(shell find . $(FIND_VCS_CLAUSE) '(' -name '*.mli' ')' $(FIN export ML4FILES := $(shell find . $(FIND_VCS_CLAUSE) '(' -name '*.ml4' ')' $(FIND_PRINTF_P)) #export VFILES := $(shell find . $(FIND_VCS_CLAUSE) '(' -name '*.v' ')' $(FIND_PRINTF_P)) \ # $(GENVFILES) -export CFILES := $(shell find kernel/byterun $(FIND_VCS_CLAUSE) -name '*.c') +export CFILES := $(shell find kernel/byterun $(FIND_VCS_CLAUSE) '(' -name '*.c' ')' -print) export ML4FILESML:= $(ML4FILES:.ml4=.ml) @@ -205,7 +205,7 @@ ml4depclean: find . -name '*.ml4.d' | xargs rm -f depclean: - find . $(FIND_VCS_CLAUSE) -name '*.d' | xargs rm -f + find . $(FIND_VCS_CLAUSE) '(' -name '*.d' ')' -print | xargs rm -f cleanconfig: rm -f config/Makefile config/coq_config.ml dev/ocamldebug-v7 ide/undo.mli config/revision.ml diff --git a/Makefile.build b/Makefile.build index d7957bde8..562228f85 100644 --- a/Makefile.build +++ b/Makefile.build @@ -714,7 +714,7 @@ install-latex: source-doc: if !(test -d $(SOURCEDOCDIR)); then mkdir $(SOURCEDOCDIR); fi $(OCAMLDOC) -html -rectypes $(LOCALINCLUDES) -d $(SOURCEDOCDIR) \ - `find . $(FIND_VCS_CLAUSE) -name "*.ml"` + `find . $(FIND_VCS_CLAUSE) '(' -name '*.ml' ')' -print` ########################################################################### |