diff options
author | paltherr <paltherr@epfl.ch> | 2003-08-07 08:19:55 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-08-07 08:19:55 +0000 |
commit | 36a3ab03efe5aff8cb2837f918242e478cf1d980 (patch) | |
tree | 32b8a8ab62ca51e3c94e42d74b683f42ef1d611a /Makefile.config | |
parent | cd257c40d15d6a1c210e60477a464636986503b8 (diff) | |
download | scala-36a3ab03efe5aff8cb2837f918242e478cf1d980.tar.gz scala-36a3ab03efe5aff8cb2837f918242e478cf1d980.tar.bz2 scala-36a3ab03efe5aff8cb2837f918242e478cf1d980.zip |
- Added some tools
Diffstat (limited to 'Makefile.config')
-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 |