1 files changed, 0 insertions, 45 deletions
diff --git a/hurd/intr-rpc.awk b/hurd/intr-rpc.awk
deleted file mode 100644
index 9dbcd6f8e2..0000000000
--- a/hurd/intr-rpc.awk
+++ /dev/null
@@ -1,45 +0,0 @@
-# Icky intimate knowledge of MiG output.
-
-BEGIN \
-  {
-    nprotolines=0; proto=0;
-    args=""; echo=1; isintr=0;
-    intrcall = "__hurd_intr_rpc_" call;
-    print "#include <hurd/signal.h>";
-  }
-
-$NF == intrcall { isintr=1; }
-
-NF == 1 && $1 == ")" { proto=0; }
-proto \
-  {
-    protolines[nprotolines++] = $0;
-    arg = $NF;
-    if (substr(arg, 1, 1) == "*")
-      arg = substr(arg, 2, length(arg)-1);
-    args = args arg;
-  }
-NF == 1 && $1 == "(" { proto=1; }
-
-NF == 3 && $1 == "InP->Head.msgh_request_port" \
-  { portarg = substr($3, 1, length($3)-1); }
-
-{ print $0; }
-
-END \
-  {
-    if (isintr)
-      {
-	print "\n\n/* User-callable interrupt-handling stub.  */";
-	print "kern_return_t __" call;
-	print "(";
-	for (i = 0; i < nprotolines; ++i)
-	  print protolines[i];
-	print ")";
-	print "{";
-	print "  return HURD_EINTR_RPC (" portarg ", " \
-	  intrcall "(" args "));";
-	print "}";
-      }
-    print "weak_alias (__" call ", " call ")"
-  }