diff options
author | paltherr <paltherr@epfl.ch> | 2003-08-11 11:58:21 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-08-11 11:58:21 +0000 |
commit | 20e31b0d76744c2ddfd98771c05e8f44feee237a (patch) | |
tree | 6c7b46adc10945ae84b96201c5676473c43aef3d | |
parent | eda495f66dd08d4b44bb29ec56a8dc7578056bf9 (diff) | |
download | scala-20e31b0d76744c2ddfd98771c05e8f44feee237a.tar.gz scala-20e31b0d76744c2ddfd98771c05e8f44feee237a.tar.bz2 scala-20e31b0d76744c2ddfd98771c05e8f44feee237a.zip |
- Added some tools
-rw-r--r-- | Makefile.config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config index 25e68a0ce8..3c33aa1af5 100644 --- a/Makefile.config +++ b/Makefile.config @@ -51,6 +51,7 @@ XERCES_LICENSE ?= $(XERCES_HOME)/LICENSE BASENAME ?= basename CAT ?= cat CHMOD ?= chmod +COMM ?= comm CP ?= cp DATE ?= date DIRNAME ?= dirname @@ -69,7 +70,9 @@ RECODE ?= recode RM ?= rm -f SCSH ?= scsh SED ?= sed +SORT ?= sort TOUCH ?= touch +TR ?= tr UNIX2DOS ?= $(RECODE) ..pc WC ?= wc XARGS ?= xargs |