diff options
Diffstat (limited to 'wd')
| -rw-r--r-- | wd/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/wd/Makefile b/wd/Makefile index 58650df..f355d00 100644 --- a/wd/Makefile +++ b/wd/Makefile @@ -3,7 +3,7 @@ include ../include/rules.make CFLAGS+=-fomit-frame-pointer %: %.c - $(CC) $(LDFLAGS) $(CFLAGS) -o $@ $< + $(CC) $(LDFLAGS) $(CFLAGS) -W -Wall -o $@ $< $(STRIP) -x --strip-unneeded -R .comment -R .note $@ $(OBJDUMP) -h $@ | grep -q '\.data[ ]*00000000' && $(STRIP) -R .data $@ || true - sstrip $@ + -if [ -n "$(SSTRIP)" ]; then $(SSTRIP) $@ ; fi |