[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 2/2] gnu: Add GNU Mach.

From: rennes
Subject: Re: [PATCH 2/2] gnu: Add GNU Mach.
Date: Thu, 16 Mar 2017 10:06:41 -0600
User-agent: Roundcube Webmail/1.0.6

I'm helping Manolis forward some pending patches.
Attach the patch with suggested corrections.

Make sure the phase returns #t on success:

  (and (zero? (system* "make" …))
         (copy-file …)

+    (synopsis "Microkernel of the GNU system")
+    (description
+ "GNU Mach is the microkernel upon which a GNU Hurd system is based.")
+    (license gpl2+)))

Does it build both on GNU/Linux and GNU/Hurd?

For GNU/Linux (core-updates) works, also works in Hurd.

Attachment: 0001-gnu-Add-GNU-Mach.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]