summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2003-04-11 15:43:16 +0000
committerpaltherr <paltherr@epfl.ch>2003-04-11 15:43:16 +0000
commit03a24d734530aee78c94e002e3bd203b86640084 (patch)
tree3f7a3340ae16015b5d401922d3f0ae8525ee789b /Makefile
parent44eba4f61b5a703065383beea25ae4597792a023 (diff)
downloadscala-03a24d734530aee78c94e002e3bd203b86640084.tar.gz
scala-03a24d734530aee78c94e002e3bd203b86640084.tar.bz2
scala-03a24d734530aee78c94e002e3bd203b86640084.zip
- Fixed function RUN
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 799c8d59be..2f3f12ed12 100644
--- a/Makefile
+++ b/Makefile
@@ -158,7 +158,7 @@ PICO_FLAGS += -make -source 1.4
##############################################################################
# Functions
-RUN = echo $(1); $(1) || exit $$?
+RUN = echo '$(1)'; $(1) || exit $$?
READLIST = $(shell cat $(1) | grep -v "^\#")
make += $(MAKE) MAKELEVEL=$(MAKELEVEL) --no-print-directory