diff options
author | H. Peter Anvin <hpa@zytor.com> | 2011-05-09 20:02:27 -0700 |
---|---|---|
committer | H. Peter Anvin <hpa@zytor.com> | 2011-05-09 20:02:27 -0700 |
commit | 2613174223371677d0a701a69cb7468947940d65 (patch) | |
tree | 0341dc40c1833d3fa017846f3cd1c4bc04f52fdd /linux | |
parent | b0e7c325933396ff42b38c097a3a7142625b6ab7 (diff) | |
download | syslinux-2613174223371677d0a701a69cb7468947940d65.tar.gz |
Add "make strip" target
Add a "make strip" target, to make doing the official build easier.
We want the official build to have stripped binaries for size reasons,
so do it right and make it an actual build target.
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
Diffstat (limited to 'linux')
-rw-r--r-- | linux/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/linux/Makefile b/linux/Makefile index ddc2f568..82bf1118 100644 --- a/linux/Makefile +++ b/linux/Makefile @@ -57,6 +57,9 @@ syslinux: $(OBJS) syslinux-nomtools: syslinux ln -f $< $@ +strip: + $(STRIP) syslinux syslinux-nomtools + %.o: %.c $(CC) $(UMAKEDEPS) $(CFLAGS) -c -o $@ $< %.i: %.c |