diff options
Diffstat (limited to 'Makefile.config')
-rw-r--r-- | Makefile.config | 28 |
1 files changed, 1 insertions, 27 deletions
diff --git a/Makefile.config b/Makefile.config index dd05b54abf..4e624faef4 100644 --- a/Makefile.config +++ b/Makefile.config @@ -92,32 +92,6 @@ PICO_FLAGS ?= -make -source 1.4 # XSLT processor XSLTPROC ?= xsltproc -XSLTPROC_FLAGS ?= - -############################################################################## -# Makefile functions - -RUN ?= $(ECHO) '$(1)'; $(1) || exit $$? -READLIST ?= $(shell $(CAT) $(1) | $(GREP) -v "^\#") - -############################################################################## -# Includes - -include $(PROJECT_SUPPORTDIR)/make/default.mk -include $(PROJECT_SUPPORTDIR)/make/cygwin.mk -include $(PROJECT_SUPPORTDIR)/make/exec.mk -include $(PROJECT_SUPPORTDIR)/make/grep.mk -include $(PROJECT_SUPPORTDIR)/make/wc.mk - -############################################################################## -# Commands - -cvs-fix-perms : - $(strip \ - $(FIND) . -type f -perm +a=x | \ - $(GREP) -v '.*/bin/.*' | \ - $(XARGS) -r $(CHMOD) a-x) - -.PHONY : cvs-fix-perms +XSLTPROC_FLAGS ?= ############################################################################## |