summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2014-02-23 12:14:38 -0500
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2014-02-23 12:14:38 -0500
commit241317985705f7a4cc81286692322c23fce03104 (patch)
tree9f39008c1f2b3247dfcd741a3901beaf6424f444
parentc3f3e29ecd36052bfa4b01cd5d782c04836ae37a (diff)
parenta7261c78d3290338ab44abe22c3bebc8abcfb43b (diff)
Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/gnumach
-rw-r--r--include/mach/mach_port.defs5
1 files changed, 5 insertions, 0 deletions
diff --git a/include/mach/mach_port.defs b/include/mach/mach_port.defs
index e1f45e3..769d892 100644
--- a/include/mach/mach_port.defs
+++ b/include/mach/mach_port.defs
@@ -342,5 +342,10 @@ routine mach_port_create_act(
user_rbuf_size : vm_size_t;
out new_act : thread_t);
+#else /* MIGRATING_THREADS */
+
+skip; /* mach_port_set_rpcinfo */
+skip; /* mach_port_create_act */
+
#endif /* MIGRATING_THREADS */