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 | |
parent | 6944944b596914b9383471deaa6b8f0607494b06 (diff) |
Strip binaries if possible
-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); |