diff options
-rw-r--r-- | tools/makesrc.inc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/makesrc.inc b/tools/makesrc.inc index 78d97f3283..837a812d51 100644 --- a/tools/makesrc.inc +++ b/tools/makesrc.inc | |||
@@ -8,7 +8,11 @@ | |||
8 | # | 8 | # |
9 | # The weird grep -v thing in here is due to Apple's stupidities and is needed | 9 | # The weird grep -v thing in here is due to Apple's stupidities and is needed |
10 | # to make this do right when used on Mac OS X. | 10 | # to make this do right when used on Mac OS X. |
11 | # | ||
12 | # The usage of ls is only to make sure that we only output existing file names | ||
13 | # to not confuse make and to produce a fairly decent error message to the | ||
14 | # terminal. | ||
11 | 15 | ||
12 | SRC := $(shell cat SOURCES | $(CC) -DMEMORYSIZE=$(MEMORYSIZE) $(INCLUDES) \ | 16 | SRC := $(shell cat SOURCES | $(CC) -DMEMORYSIZE=$(MEMORYSIZE) $(INCLUDES) \ |
13 | $(TARGET) $(DEFINES) $(EXTRA_DEFINES) -E -P -include "config.h" - | \ | 17 | $(TARGET) $(DEFINES) $(EXTRA_DEFINES) -E -P -include "config.h" - | \ |
14 | grep -v "^\#") | 18 | grep -v "^\#" | xargs ls) |