recording file death

1 files changed, 0 insertions, 29 deletions

diff --git a/gprof/make-c-prog.awk b/gprof/make-c-prog.awk
deleted file mode 100644
index a0a49de..0000000
--- a/gprof/make-c-prog.awk
+++ /dev/null
@@ -1,29 +0,0 @@
-BEGIN	{
-	  FS="\"";
-	  print "/* ==> Do not modify this file!!  It is created automatically"
-	  print "   by make-c-prog.awk; modify make-c-prog.awk instead.  <== */"
-	  print ""
-	  print "#include <stdio.h>"
-	}
-
-	{
-	  if (curfun != FUNCTION)
-	    {
-	      if (curfun)
-		print "}"
-	      curfun = FUNCTION
-	      print ""
-	      print "void";
-	      printf "%s (file)\n", FUNCTION
-	      print "     FILE *file;";
-	      print "{";
-	    }
-	  printf "  fputs (\"";
-	  for (i = 1; i < NF; i++)
-	    printf "%s\\\"", $i;
-	  printf "%s\\n\", file);\n", $NF;
-	}
-
-END	{
-	  print "}"
-	}