tools/add_gc_prefix.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

# include <stdio.h>
# include <gc.h>

#ifndef GC_ALPHA_VERSION
# define GC_ALPHA_VERSION GC_TMP_ALPHA_VERSION
#endif

int main(int argc, char ** argv)
{
    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);
}