diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-22 12:49:14 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-22 12:49:14 +0100 |
| commit | 50b87bd54b7fd5fe5cb3482d7801d5e74d0c2fb3 (patch) | |
| tree | 04a4e870b1a30b1bf5ade896c9ff030ff402c99e /guix | |
| parent | 99533da50db89318c7ab7ae3e7a28c261fb88e84 (diff) | |
| download | gnu-guix-50b87bd54b7fd5fe5cb3482d7801d5e74d0c2fb3.tar gnu-guix-50b87bd54b7fd5fe5cb3482d7801d5e74d0c2fb3.tar.gz | |
build-system/gnu: Strip only ELF files.
Suggested by Mark H Weaver <mhw@netris.org>
at <http://lists.gnu.org/archive/html/guix-devel/2014-10/msg00395.html>.
* guix/build/gnu-build-system.scm (strip)[strip-dir]: Strip only
when (elf-file? PATH) is true.
Diffstat (limited to 'guix')
| -rw-r--r-- | guix/build/gnu-build-system.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/guix/build/gnu-build-system.scm b/guix/build/gnu-build-system.scm index afed601798..a8136063ef 100644 --- a/guix/build/gnu-build-system.scm +++ b/guix/build/gnu-build-system.scm @@ -343,7 +343,8 @@ makefiles." debug-output objcopy-command)) (file-system-fold (const #t) (lambda (path stat result) ; leaf - (and (or (not debug-output) + (and (elf-file? path) + (or (not debug-output) (make-debug-file path)) (zero? (apply system* strip-command (append strip-flags (list path)))) |