aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--make.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/make.c b/make.c
index 266b150..cbbb6a2 100644
--- a/make.c
+++ b/make.c
@@ -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);