diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/make.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/make.inc b/tools/make.inc index 1c7b762493..25173ae7e0 100644 --- a/tools/make.inc +++ b/tools/make.inc | |||
@@ -13,8 +13,8 @@ $(OBJDIR)/%.o: %.S | |||
13 | $(DEPFILE): $(SOURCES) | 13 | $(DEPFILE): $(SOURCES) |
14 | @rm -f $(DEPFILE) | 14 | @rm -f $(DEPFILE) |
15 | @(for each in $(SOURCES); do \ | 15 | @(for each in $(SOURCES); do \ |
16 | obj=`echo $$each | sed -e 's/\.c/.o/'`; \ | 16 | obj=`echo $$each | sed -e 's/\.[cS]/.o/'`; \ |
17 | $(CC) -MM -MT "$(OBJDIR)/$$obj.o" $(CFLAGS) $$each >> $(DEPFILE) 2>/dev/null; \ | 17 | $(CC) -MM -MT "$(OBJDIR)/$$obj" $(CFLAGS) $$each >> $(DEPFILE) 2>/dev/null; \ |
18 | done; \ | 18 | done; \ |
19 | echo "oo" >/dev/null ) | 19 | echo "oo" >/dev/null ) |
20 | 20 | ||