Include the exception protocol in 'gnumach.msgids'

* Makefrag.am: Include the exception protocol in 'gnumach.msgids'.
* kern/exc.defs: New file.

2 files changed, 26 insertions, 2 deletions

diff --git a/Makefrag.am b/Makefrag.am
index bb600e0c..9a68af81 100644
--- a/Makefrag.am
+++ b/Makefrag.am
@@ -549,9 +549,11 @@ nodist_libkernel_a_SOURCES += \
 # Stand-alone rule to generate the list of message ids when neither
 # the client nor the server stubs are required.
 nodist_lib_dep_tr_for_defs_a_SOURCES += \
-	ipc/notify.none.defs.c
+	ipc/notify.none.defs.c \
+	kern/exc.none.defs.c
 nodist_libkernel_a_SOURCES += \
-	ipc/notify.none.msgids
+	ipc/notify.none.msgids \
+	kern/exc.none.msgids
 #	ipc/notify.none.defs
 
 # rpctrace can make use of that.
diff --git a/kern/exc.defs b/kern/exc.defs
new file mode 100644
index 00000000..e614fff8
--- /dev/null
+++ b/kern/exc.defs
@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 2016 Free Software Foundation.
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+/* We use custom functions to send exceptions.  These functions can
+   be found in `exception.c'.  We use this file merely to produce the
+   list of message ids.  */
+
+#include <mach/exc.defs>