diff options
| author | Thomas Voss <thomas.voss@humanwave.nl> | 2026-03-19 16:35:50 +0100 |
|---|---|---|
| committer | Thomas Voss <thomas.voss@humanwave.nl> | 2026-03-19 16:35:50 +0100 |
| commit | a44a33f8a84271d81e6416a2ab1e118b7a576b23 (patch) | |
| tree | 9165fcbe3e1706c04046f59b8d204afd31427418 /make.c | |
| parent | 0d4f5eb963d45dadf0880c39d8c3066f93efe0c1 (diff) | |
Strip binaries separately
Diffstat (limited to 'make.c')
| -rw-r--r-- | make.c | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -138,7 +138,9 @@ usage: snprintf(mandir, sizeof(mandir), "%s/%s", prefix, "share/man/man1"); if (binexists("strip")) { - strspushl(&cmd, "strip", "-s", "grab", "git-grab"); + strspushl(&cmd, "strip", "grab"); + EXEC(cmd); + strspushl(&cmd, "strip", "git-grab"); EXEC(cmd); } |