Formerly ../mach/shortcut.awk.~2~
authorroland <roland>
Fri, 3 Apr 1992 06:39:38 +0000 (06:39 +0000)
committerroland <roland>
Fri, 3 Apr 1992 06:39:38 +0000 (06:39 +0000)
mach/shortcut.awk

index 5b71c2d..fa52eea 100644 (file)
@@ -1,6 +1,8 @@
 # Icky intimate knowledge of MiG output.
 
-BEGIN { args=""; argsnext=0; echo=1; }
+BEGIN { args=""; argsnext=0; echo=1;
+       print "/* This file is generated by shortcut.awk.  */";
+      }
 
 $NF == rpc \
   {
@@ -23,6 +25,7 @@ echo == 1 { print $0; }
   {
     print "{";
     print "  kern_return_t err;";
+    print "  extern kern_return_t " syscall " ();";
     print "  err = " syscall args ";";
     print "  if (err == MACH_SEND_INTERRUPTED)";
     print "    err = " rpc args ";";