04/18: gnu: gnumach: Enable kernel debugger (kbd).

[guix-commits]

civodul pushed a commit to branch core-updates
in repository guix.

commit 29814639c405d02735613bcbb1b5fd665cd8bd25
Author: Ludovic Courtès <address@hidden>
AuthorDate: Wed Apr 1 16:07:25 2020 +0200

    gnu: gnumach: Enable kernel debugger (kbd).
    
    * gnu/packages/hurd.scm (gnumach)[arguments]: Add "--enable-kdb".
---
 gnu/packages/hurd.scm | 2 ++
 1 file changed, 2 insertions(+)

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