diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/add_gc_prefix.c | 4 | ||||
| -rw-r--r-- | tools/gcname.c | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/tools/add_gc_prefix.c b/tools/add_gc_prefix.c index ddc93371..8369d689 100644 --- a/tools/add_gc_prefix.c +++ b/tools/add_gc_prefix.c @@ -1,6 +1,10 @@ # 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; diff --git a/tools/gcname.c b/tools/gcname.c index e8188ae2..74be553c 100644 --- a/tools/gcname.c +++ b/tools/gcname.c @@ -1,6 +1,10 @@ #include <stdio.h> #include <gc.h> +#ifndef GC_ALPHA_VERSION +# define GC_ALPHA_VERSION GC_TMP_ALPHA_VERSION +#endif + int main(void) { if (GC_ALPHA_VERSION == GC_NOT_ALPHA) { |