diff options
-rw-r--r-- | tools/makesrc.inc | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/tools/makesrc.inc b/tools/makesrc.inc index 837a812d51..78d97f3283 100644 --- a/tools/makesrc.inc +++ b/tools/makesrc.inc | |||
@@ -8,11 +8,7 @@ | |||
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. | ||
15 | 11 | ||
16 | SRC := $(shell cat SOURCES | $(CC) -DMEMORYSIZE=$(MEMORYSIZE) $(INCLUDES) \ | 12 | SRC := $(shell cat SOURCES | $(CC) -DMEMORYSIZE=$(MEMORYSIZE) $(INCLUDES) \ |
17 | $(TARGET) $(DEFINES) $(EXTRA_DEFINES) -E -P -include "config.h" - | \ | 13 | $(TARGET) $(DEFINES) $(EXTRA_DEFINES) -E -P -include "config.h" - | \ |
18 | grep -v "^\#" | xargs ls) | 14 | grep -v "^\#") |