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 /.dir-locals.el | |
parent | 37e997bc7867901dc5eaf9060358dfddacae8dd6 (diff) | |
download | guix-patches-93af2ac871addc7755ea542928124d416f1a0361.tar guix-patches-93af2ac871addc7755ea542928124d416f1a0361.tar.gz |
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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions