summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2021-02-01 12:41:57 +0100
committerLudovic Courtès <ludo@gnu.org>2021-02-01 12:51:03 +0100
commit93af2ac871addc7755ea542928124d416f1a0361 (patch)
tree778d73a8d20b9c3436a233cbc5f53dcfff507dd0 /gnu
parent37e997bc7867901dc5eaf9060358dfddacae8dd6 (diff)
gnu: rdma-core: Build as "RelWithDebInfo".
This allows users to use '--with-debug-info=rdma-core' and is otherwise equivalent to "Release". * gnu/packages/linux.scm (rdma-core)[arguments]: Remove #:build-type.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/linux.scm4
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index f22564a35b..1d68229281 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -5520,9 +5520,7 @@ The package provides additional NTFS tools.")
(arguments
`(#:tests? #f ; no tests
;; Upstream uses the "ninja" build system and encourage distros
- ;; to do the same for consistency. They also recommend using the
- ;; "Release" build type.
- #:build-type "Release"
+ ;; to do the same for consistency.
#:configure-flags (list "-GNinja"
(string-append "-DRST2MAN_EXECUTABLE="