diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-22 21:54:27 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-22 21:54:27 +0100 |
| commit | e8c7fdda5d62af08820794114e02a6f247fed2f7 (patch) | |
| tree | 7e6f733bc96e8e4a8ab736826428572b0bdc7737 | |
| parent | 2bbc6db5e22b0361c166c89210c7a6fd9842db8c (diff) | |
| download | guix-e8c7fdda5d62af08820794114e02a6f247fed2f7.tar.gz | |
build-system/gnu: Strip 'ar' archives as well.
* guix/build/gnu-build-system.scm (strip): Also strip when (ar-file? PATH) is true.
| -rw-r--r-- | guix/build/gnu-build-system.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/build/gnu-build-system.scm b/guix/build/gnu-build-system.scm index a8136063ef..dbbb71af35 100644 --- a/guix/build/gnu-build-system.scm +++ b/guix/build/gnu-build-system.scm @@ -343,7 +343,7 @@ makefiles." debug-output objcopy-command)) (file-system-fold (const #t) (lambda (path stat result) ; leaf - (and (elf-file? path) + (and (or (elf-file? path) (ar-file? path)) (or (not debug-output) (make-debug-file path)) (zero? (apply system* strip-command |