diff options
author | Ludovic Courtès <ludo@gnu.org> | 2012-09-01 00:33:23 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2012-09-01 00:33:23 +0200 |
commit | 6e0874db3db4c0b74b104be2acd72b5de749d4a4 (patch) | |
tree | 365d4e5c92191f588bc2699bd1ca7a3367a60e67 /distro/base.scm | |
parent | 877217b85ac318a0a702578f183dd638c9704112 (diff) |
distro: gcc: Pass #:strip-binaries?.
* distro/base.scm (gcc-4.7): Pass #:strip-binaries?.
Diffstat (limited to 'distro/base.scm')
-rw-r--r-- | distro/base.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distro/base.scm b/distro/base.scm index fdb0c688fb..83aec380ec 100644 --- a/distro/base.scm +++ b/distro/base.scm @@ -589,6 +589,7 @@ BFD (Binary File Descriptor) library, `gprof', `nm', `strip', etc.") (guix build gnu-build-system) (ice-9 regex)) ; we need this one #:out-of-source? #t + #:strip-binaries? ,stripped? #:configure-flags `("--enable-plugin" "--enable-languages=c,c++" |