1 files changed, 0 insertions, 20 deletions
diff --git a/gc/add_gc_prefix.c b/gc/add_gc_prefix.c
deleted file mode 100644
index 59515c7..0000000
--- a/gc/add_gc_prefix.c
+++ /dev/null
@@ -1,20 +0,0 @@
-# include <stdio.h>
-# include "version.h"
- 
-int main(argc, argv, envp)
-int argc;
-char ** argv;
-char ** envp;
-{
-    int i;
-    
-    for (i = 1; i < argc; i++) {
-      if (GC_ALPHA_VERSION == GC_NOT_ALPHA) {
-	printf("gc%d.%d/%s ", GC_VERSION_MAJOR, GC_VERSION_MINOR, argv[i]);
-      } else {
-	printf("gc%d.%dalpha%d/%s ", GC_VERSION_MAJOR,
-	       GC_VERSION_MINOR, GC_ALPHA_VERSION, argv[i]);
-      }
-    }
-    return(0);
-}