diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-02-03 01:03:34 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-02-03 01:03:34 +0100 |
| commit | dc5b93cc90931e90c6005bcb6bbc0bae166cab2c (patch) | |
| tree | 53fb3c5984ade680eafb848c630147bc5a4bf545 /make.c | |
| parent | 6944944b596914b9383471deaa6b8f0607494b06 (diff) | |
Strip binaries if possible
Diffstat (limited to 'make.c')
| -rw-r--r-- | make.c | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -84,6 +84,10 @@ main(int argc, char **argv) man = mkoutpath("/share/man/man1"); cmdadd(&c, "mkdir", "-p", bin, man); CMDPRC(c); + if (binexists("strip")) { + cmdadd(&c, "strip", "--strip-all", "grab", "git-grab"); + CMDPRC(c); + } cmdadd(&c, "cp", "grab", "git-grab", bin); CMDPRC(c); cmdadd(&c, "cp", "man/grab.1", "man/git-grab.1", man); |