gnu: gnumach: Enable kernel debugger (kbd).

* gnu/packages/hurd.scm (gnumach)[arguments]: Add "--enable-kdb".

diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm
index f94d4fa..7ea35bb 100644 (file)
--- 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