summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-04-01 16:07:25 +0200
committerLudovic Courtès <ludo@gnu.org>2020-04-11 19:22:25 +0200
commit29814639c405d02735613bcbb1b5fd665cd8bd25 (patch)
tree40f1cfcf32e61225ff1ccefae5829be65e48a134 /gnu
parent4d1ff68d731fdc47ca1220863fee07a685a26616 (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.scm2
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