1 files changed, 0 insertions, 14 deletions
diff --git a/boehm-gc/add_gc_prefix.c b/boehm-gc/add_gc_prefix.c
deleted file mode 100644
index 0d1ab6d4d36..00000000000
--- a/boehm-gc/add_gc_prefix.c
+++ /dev/null
@@ -1,14 +0,0 @@
-# include <stdio.h>
- 
-int main(argc, argv, envp)
-int argc;
-char ** argv;
-char ** envp;
-{
-    int i;
-    
-    for (i = 1; i < argc; i++) {
-    	printf("gc/%s ", argv[i]);
-    }
-    return(0);
-}