summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1995-10-12 20:58:10 +0000
committerRoland McGrath <roland@gnu.org>1995-10-12 20:58:10 +0000
commit3d9d46c7a6abe1edf56a59f25a1c52e73ef9d05f (patch)
tree31d9443570c2647d1fe77c8b7e97dea39d514354
parent73dbb94c21448f3df12e0899a0600127c4f38967 (diff)
Add INTR_INTERFACE marker.
-rw-r--r--hurd/exec.defs2
1 files changed, 2 insertions, 0 deletions
diff --git a/hurd/exec.defs b/hurd/exec.defs
index 64d04339..ee906bd2 100644
--- a/hurd/exec.defs
+++ b/hurd/exec.defs
@@ -27,6 +27,8 @@ subsystem exec 30000;
EXEC_IMPORTS
#endif
+INTR_INTERFACE
+
routine exec_exec (
execserver: file_t;
file: mach_port_send_t;