diff options
author | Marius Bakke <marius@gnu.org> | 2020-06-27 12:16:17 +0200 |
---|---|---|
committer | Marius Bakke <marius@gnu.org> | 2020-06-27 12:29:24 +0200 |
commit | b611597af8641b388dc9f8935b85895a71e9fb52 (patch) | |
tree | 435aeb6a82d25414cdbe6a48a1ed4cdc3e4ec353 /gnu/packages/gdb.scm | |
parent | ac069ed9be60defd1690e0e5756e74d2271c39cb (diff) | |
download | guix-patches-b611597af8641b388dc9f8935b85895a71e9fb52.tar guix-patches-b611597af8641b388dc9f8935b85895a71e9fb52.tar.gz |
gnu: valgrind: Don't depend on GDB.
...but add a special 'valgrind/interactive' variant for end users.
* gnu/packages/valgrind.scm (valgrind)[inputs]: Remove.
[properties]: New field.
(valgrind/interactive): New public variable.
Diffstat (limited to 'gnu/packages/gdb.scm')
0 files changed, 0 insertions, 0 deletions