summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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