1 files changed, 7 insertions, 1 deletions
diff --git a/add_gc_prefix.c b/add_gc_prefix.c
index 0d1ab6d4..59515c78 100644
--- a/add_gc_prefix.c
+++ b/add_gc_prefix.c
@@ -1,4 +1,5 @@
 # include <stdio.h>
+# include "version.h"
  
 int main(argc, argv, envp)
 int argc;
@@ -8,7 +9,12 @@ char ** envp;
     int i;
     
     for (i = 1; i < argc; i++) {
-    	printf("gc/%s ", argv[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);
 }