From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Subject: [PATCH] Build stubs for new gnumach.defs

* mach/Makefile (user-interfaces): Add mach/gnumach.
* sysdeps/mach/configure.ac (mach_interface_list): Add gnumach.
* sysdeps/mach/configure (mach_interface_list): Regenerate.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>