diff options
Diffstat (limited to 'elements/gnu-toolchain/gawk.bst')
| -rw-r--r-- | elements/gnu-toolchain/gawk.bst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/elements/gnu-toolchain/gawk.bst b/elements/gnu-toolchain/gawk.bst index 7a612bfd..d00bd6d8 100644 --- a/elements/gnu-toolchain/gawk.bst +++ b/elements/gnu-toolchain/gawk.bst @@ -18,3 +18,7 @@ environment: config: configure-commands: - ./configure --prefix="%{prefix}" --disable-nls + + strip-commands: + - | + %{stage3-strip-binaries} |