diff options
Diffstat (limited to 'gcc/java/jvgenmain.c')
-rw-r--r-- | gcc/java/jvgenmain.c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gcc/java/jvgenmain.c b/gcc/java/jvgenmain.c index 2631062..0704484 100644 --- a/gcc/java/jvgenmain.c +++ b/gcc/java/jvgenmain.c @@ -127,17 +127,3 @@ main (int argc, const char **argv) } return 0; } - -PTR -xmalloc (size) - size_t size; -{ - register PTR val = (PTR) malloc (size); - - if (val == 0) - { - fprintf(stderr, "jvgenmain: virtual memory exhausted"); - exit(FATAL_EXIT_CODE); - } - return val; -} |