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 /libinstaller | |
| 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 'libinstaller')
| -rw-r--r-- | libinstaller/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libinstaller/Makefile b/libinstaller/Makefile index 2beb9315..e67a4686 100644 --- a/libinstaller/Makefile +++ b/libinstaller/Makefile @@ -26,3 +26,5 @@ clean: tidy dist: tidy spotless: clean + +strip: |