From 9efff672d7467da15fa9487d7cc9b4493ea25757 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Thu, 23 Oct 2003 08:09:49 +0000
Subject: - Added version management

- Added some unix commands
---
 Makefile.config | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile.config')

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
-- 
cgit v1.2.3