diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-01 16:07:25 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-11 19:22:25 +0200 |
| commit | 29814639c405d02735613bcbb1b5fd665cd8bd25 (patch) | |
| tree | 40f1cfcf32e61225ff1ccefae5829be65e48a134 /gnu | |
| parent | 4d1ff68d731fdc47ca1220863fee07a685a26616 (diff) | |
gnu: gnumach: Enable kernel debugger (kbd).
* gnu/packages/hurd.scm (gnumach)[arguments]: Add "--enable-kdb".
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/hurd.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm index f94d4fa5a7..7ea35bbf31 100644 --- a/gnu/packages/hurd.scm +++ b/gnu/packages/hurd.scm @@ -264,6 +264,8 @@ Hurd-minimal package which are needed for both glibc and GCC.") (name "gnumach") (arguments (substitute-keyword-arguments (package-arguments gnumach-headers) + ((#:configure-flags flags ''()) + `(cons "--enable-kdb" ,flags)) ;enable kernel debugger ((#:phases phases '%standard-phases) `(modify-phases %standard-phases (add-after 'install 'produce-image |