diff options
-rw-r--r-- | Makefile.config | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.config b/Makefile.config index 47c909dcad..63673a442b 100644 --- a/Makefile.config +++ b/Makefile.config @@ -54,17 +54,20 @@ DIRNAME ?= dirname ECHO ?= echo FIND ?= find GREP ?= grep +INSTALL ?= $(PROJECT_SUPPORTDIR)/scripts/install JAR ?= jar JAVA ?= java LN ?= ln M4 ?= m4 +MIRROR ?= $(PROJECT_SUPPORTDIR)/scripts/mirror MKDIR ?= mkdir NICE ?= nice +RECODE ?= recode RM ?= rm -f SCSH ?= scsh SED ?= sed TOUCH ?= touch -UNIX2DOS ?= unix2dos +UNIX2DOS ?= $(RECODE) ..pc WC ?= wc XARGS ?= xargs ZIP ?= zip |