diff options
author | michelou <michelou@epfl.ch> | 2003-09-09 15:10:14 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2003-09-09 15:10:14 +0000 |
commit | 5600ac92e6ed1c5e967aadfefd06e9ddcbaa967c (patch) | |
tree | 6a74a5aeb78d8713dba647dafa5ff9584715a6a9 /Makefile.config | |
parent | 151cca035b733f707a923f015c48147ef4077b50 (diff) | |
download | scala-5600ac92e6ed1c5e967aadfefd06e9ddcbaa967c.tar.gz scala-5600ac92e6ed1c5e967aadfefd06e9ddcbaa967c.tar.bz2 scala-5600ac92e6ed1c5e967aadfefd06e9ddcbaa967c.zip |
- added standard tools tar and unzip
Diffstat (limited to 'Makefile.config')
-rw-r--r-- | Makefile.config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config index e16a2361a8..9118a785b7 100644 --- a/Makefile.config +++ b/Makefile.config @@ -59,6 +59,7 @@ DIRNAME ?= dirname ECHO ?= echo FIND ?= find GREP ?= grep +IA ?= build INSTALL ?= $(PROJECT_SUPPORTDIR)/scripts/install JAR ?= jar JAVA ?= java @@ -72,9 +73,11 @@ RM ?= rm -f SCSH ?= scsh SED ?= sed SORT ?= sort +TAR ?= tar TOUCH ?= touch TR ?= tr UNIX2DOS ?= $(RECODE) ..pc +UNZIP ?= unzip WC ?= wc XARGS ?= xargs ZIP ?= zip |