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 /build-aux/build-self.scm | |
| parent | ac069ed9be60defd1690e0e5756e74d2271c39cb (diff) | |
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 'build-aux/build-self.scm')
0 files changed, 0 insertions, 0 deletions