diff options
Diffstat (limited to 'wd/Makefile')
| -rw-r--r-- | wd/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/wd/Makefile b/wd/Makefile index a093caa..58650df 100644 --- a/wd/Makefile +++ b/wd/Makefile @@ -4,6 +4,6 @@ CFLAGS+=-fomit-frame-pointer %: %.c $(CC) $(LDFLAGS) $(CFLAGS) -o $@ $< - strip -R .comment -R .note $@ - objdump -h $@ | grep -q '\.data[ ]*00000000' && strip -R .data $@ || true + $(STRIP) -x --strip-unneeded -R .comment -R .note $@ + $(OBJDUMP) -h $@ | grep -q '\.data[ ]*00000000' && $(STRIP) -R .data $@ || true sstrip $@ |