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 | |
| parent | cd257c40d15d6a1c210e60477a464636986503b8 (diff) | |
| download | scala-36a3ab03efe5aff8cb2837f918242e478cf1d980.tar.gz scala-36a3ab03efe5aff8cb2837f918242e478cf1d980.tar.bz2 scala-36a3ab03efe5aff8cb2837f918242e478cf1d980.zip | |
- Added some tools
| -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 |