From d92111ff2c588e905630f61918c82f7da41e5777 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 8 May 2011 22:59:11 +0200
Subject: Remove mig-generated files

---
 boot.backup1/exc_S.h | 39 ---------------------------------------
 1 file changed, 39 deletions(-)
 delete mode 100644 boot.backup1/exc_S.h

(limited to 'boot.backup1/exc_S.h')

diff --git a/boot.backup1/exc_S.h b/boot.backup1/exc_S.h
deleted file mode 100644
index 5b2c327a..00000000
--- a/boot.backup1/exc_S.h
+++ /dev/null
@@ -1,39 +0,0 @@
-#ifndef	_exc_server_
-#define	_exc_server_
-
-/* Module exc */
-
-#include <mach/kern_return.h>
-#include <mach/port.h>
-#include <mach/message.h>
-
-#include <mach/std_types.h>
-
-/* Routine exception_raise */
-#ifdef	mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t catch_exception_raise
-#if	defined(LINTLIBRARY)
-    (exception_port, thread, task, exception, code, subcode)
-	mach_port_t exception_port;
-	mach_port_t thread;
-	mach_port_t task;
-	integer_t exception;
-	integer_t code;
-	integer_t subcode;
-{ return catch_exception_raise(exception_port, thread, task, exception, code, subcode); }
-#else
-(
-	mach_port_t exception_port,
-	mach_port_t thread,
-	mach_port_t task,
-	integer_t exception,
-	integer_t code,
-	integer_t subcode
-);
-#endif
-
-#endif	/* not defined(_exc_server_) */
-- 
cgit v1.2.3