From 29814639c405d02735613bcbb1b5fd665cd8bd25 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Wed, 1 Apr 2020 16:07:25 +0200
Subject: 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 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
-- 
cgit v1.2.3