diff options
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 783b7a3449..c83f790815 100644 --- a/Makefile.config +++ b/Makefile.config @@ -12,7 +12,6 @@ # Project setup PROJECT_NAME ?= scala -PROJECT_VERSION ?= development version PROJECT_ROOT ?= $(ROOT) PROJECT_BINARYDIR ?= $(PROJECT_ROOT)/bin PROJECT_CONFIGDIR ?= $(PROJECT_ROOT)/config @@ -53,8 +52,10 @@ CP ?= cp DATE ?= date DIRNAME ?= dirname ECHO ?= echo +EXPR ?= expr FIND ?= find GREP ?= grep +HEAD ?= head IA ?= build INSTALL ?= $(PROJECT_SUPPORTDIR)/scripts/install JAR ?= jar @@ -63,12 +64,14 @@ LN ?= ln M4 ?= m4 MIRROR ?= $(PROJECT_SUPPORTDIR)/scripts/mirror MKDIR ?= mkdir +MV ?= mv NICE ?= nice RECODE ?= recode RM ?= rm -f SCSH ?= scsh SED ?= sed SORT ?= sort +TAIL ?= tail TAR ?= tar TOUCH ?= touch TR ?= tr |