Emit decls for RPC.
authorroland <roland>
Wed, 26 Jul 1995 06:49:09 +0000 (06:49 +0000)
committerroland <roland>
Wed, 26 Jul 1995 06:49:09 +0000 (06:49 +0000)
mach/shortcut.awk

index d6090d7..987cebe 100644 (file)
@@ -35,11 +35,14 @@ echo == 1 { print $0; }
     print "{";
     print "  kern_return_t err;";
     print "  extern kern_return_t " syscall " (" proto ");";
+    print "  extern kern_return_t " rpc " (" proto ");";
     print "  err = " syscall " (" arglist ");";
     print "  if (err == MACH_SEND_INTERRUPTED)";
     print "    err = " rpc " (" arglist ");";
     print "  return err;"
     print "}";
-    print "weak_alias (" call ", " alias ")"
+    print "weak_alias (" call ", " alias ")";
+    # Declare RPC so the weak_alias that follows will work.
+    print "extern __typeof (" call ") " rpc ";";
     echo = 1;
   }