diff options
-rw-r--r-- | tools/make.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/make.inc b/tools/make.inc index 7823d08b67..0da7a8b17c 100644 --- a/tools/make.inc +++ b/tools/make.inc | |||
@@ -3,7 +3,7 @@ | |||
3 | $(OBJDIR)/%.o: %.c | 3 | $(OBJDIR)/%.o: %.c |
4 | @mkdir -p `dirname $@` | 4 | @mkdir -p `dirname $@` |
5 | @echo "CC $<" | 5 | @echo "CC $<" |
6 | $(CC) $(CFLAGS) -c $< -o $@ | 6 | @$(CC) $(CFLAGS) -c $< -o $@ |
7 | 7 | ||
8 | $(OBJDIR)/%.o: %.S | 8 | $(OBJDIR)/%.o: %.S |
9 | @mkdir -p `dirname $@` | 9 | @mkdir -p `dirname $@` |