diff options
-rw-r--r-- | remount/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/remount/Makefile b/remount/Makefile index 71633d5..5aa2491 100644 --- a/remount/Makefile +++ b/remount/Makefile @@ -9,4 +9,4 @@ remountw : remountr $(CC) $(LDFLAGS) $(CFLAGS) -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 |