diff options
-rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -69,6 +69,10 @@ mydirs: $(MYDIRS) | |||
69 | $(MYDIRS): | 69 | $(MYDIRS): |
70 | $(MAKE) -C $@ | 70 | $(MAKE) -C $@ |
71 | 71 | ||
72 | .PHONY: strip | ||
73 | strip: all | ||
74 | strip $(ALL_ITEMS) | ||
75 | |||
72 | .PHONY: filters | 76 | .PHONY: filters |
73 | filters: $(SECCOMP_FILTERS) | 77 | filters: $(SECCOMP_FILTERS) |
74 | seccomp: src/fseccomp/fseccomp src/fsec-optimize/fsec-optimize Makefile | 78 | seccomp: src/fseccomp/fseccomp src/fsec-optimize/fsec-optimize Makefile |
@@ -273,8 +277,7 @@ install: all | |||
273 | $(MAKE) realinstall | 277 | $(MAKE) realinstall |
274 | 278 | ||
275 | .PHONY: install-strip | 279 | .PHONY: install-strip |
276 | install-strip: all | 280 | install-strip: strip |
277 | strip $(ALL_ITEMS) | ||
278 | $(MAKE) realinstall | 281 | $(MAKE) realinstall |
279 | 282 | ||
280 | .PHONY: uninstall | 283 | .PHONY: uninstall |