diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-12-18 23:58:51 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-18 23:58:51 +0100 |
commit | 3eb34c631a143d77bf11bff2363a76959e45aa50 (patch) | |
tree | 3070b104695dea3eb258d4b66e23a0b151ed0ab2 /guix/build/gnu-build-system.scm | |
parent | f1e0c85ad23071ea5b1dbcee1474ec34a5de7422 (diff) |
build-system/gnu: Always pass "-D" to strip/objcopy.
* guix/build-system/gnu.scm (gnu-build, gnu-cross-build): Add "-D" to
#:strip-flags.
* guix/build/gnu-build-system.scm (strip): Likewise. Also pass "-D" to
OBJCOPY-COMMAND.
Diffstat (limited to 'guix/build/gnu-build-system.scm')
-rw-r--r-- | guix/build/gnu-build-system.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/guix/build/gnu-build-system.scm b/guix/build/gnu-build-system.scm index 92e15d131e..13f925e61b 100644 --- a/guix/build/gnu-build-system.scm +++ b/guix/build/gnu-build-system.scm @@ -329,7 +329,7 @@ makefiles." (objcopy-command (if target (string-append target "-objcopy") "objcopy")) - (strip-flags '("--strip-debug")) + (strip-flags '("--strip-debug" "-D")) (strip-directories '("lib" "lib64" "libexec" "bin" "sbin")) #:allow-other-keys) @@ -367,7 +367,7 @@ makefiles." ;; `bfd_fill_in_gnu_debuglink_section' function.) No reference to ;; DEBUG-OUTPUT is kept because bfd keeps only the basename of the debug ;; file. - (zero? (system* objcopy-command + (zero? (system* objcopy-command "-D" (string-append "--add-gnu-debuglink=" (debug-file file)) file))) |