guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#72106] [PATCH v3 3/5] gnu: klee: Only strip bin directory.


From: Liliana Marie Prikler
Subject: [bug#72106] [PATCH v3 3/5] gnu: klee: Only strip bin directory.
Date: Fri, 26 Jul 2024 20:38:31 +0200
User-agent: Evolution 3.48.4

Am Donnerstag, dem 25.07.2024 um 22:40 +0200 schrieb
soeren@soeren-tempel.net:
> From: Sören Tempel <soeren@soeren-tempel.net>
> 
> This avoid several warnings to be emitted by strip(1) when attempting
> to strip .bca (i.e. LLVM bitcode) files shipped in
> /lib/klee/runtime/.
> 
> * gnu/packages/check.scm (klee): Set #:strip-directories.
> ---
LGTM





reply via email to

[Prev in Thread] Current Thread [Next in Thread]