diff options
| author | lmamane | 2009-02-11 09:14:20 +0000 |
|---|---|---|
| committer | lmamane | 2009-02-11 09:14:20 +0000 |
| commit | f1f56d9f8ea26b74227bf381ce581c9aadf75c27 (patch) | |
| tree | 2dabb59cd2b6e05b790be1dcf5bdbe812498ec1f /Makefile | |
| parent | 6afa8653207732d3cd0e9d5a2d77665369036bf0 (diff) | |
Convert all uses of FIND_VCS_CLAUSE to recommended style
(which allows to get rid of '-type f' hack)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11908 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 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 |