diff options
author | paltherr <paltherr@epfl.ch> | 2003-04-11 15:43:16 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-04-11 15:43:16 +0000 |
commit | 03a24d734530aee78c94e002e3bd203b86640084 (patch) | |
tree | 3f7a3340ae16015b5d401922d3f0ae8525ee789b /Makefile | |
parent | 44eba4f61b5a703065383beea25ae4597792a023 (diff) | |
download | scala-03a24d734530aee78c94e002e3bd203b86640084.tar.gz scala-03a24d734530aee78c94e002e3bd203b86640084.tar.bz2 scala-03a24d734530aee78c94e002e3bd203b86640084.zip |
- Fixed function RUN
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |