diff options
author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2021-02-01 12:41:57 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-02-01 12:51:03 +0100 |
commit | 93af2ac871addc7755ea542928124d416f1a0361 (patch) | |
tree | 778d73a8d20b9c3436a233cbc5f53dcfff507dd0 /gnu | |
parent | 37e997bc7867901dc5eaf9060358dfddacae8dd6 (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.scm | 4 |
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=" |