gnu: gnumach: Enable kernel debugger (kbd).

* gnu/packages/hurd.scm (gnumach)[arguments]: Add "--enable-kdb".
This commit is contained in:
Ludovic Courtès 2020-04-01 16:07:25 +02:00
parent 4d1ff68d73
commit 29814639c4
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -264,6 +264,8 @@ (define-public gnumach
(name "gnumach") (name "gnumach")
(arguments (arguments
(substitute-keyword-arguments (package-arguments gnumach-headers) (substitute-keyword-arguments (package-arguments gnumach-headers)
((#:configure-flags flags ''())
`(cons "--enable-kdb" ,flags)) ;enable kernel debugger
((#:phases phases '%standard-phases) ((#:phases phases '%standard-phases)
`(modify-phases %standard-phases `(modify-phases %standard-phases
(add-after 'install 'produce-image (add-after 'install 'produce-image