diff options
Diffstat (limited to 'gcc/java/jvgenmain.c')
-rw-r--r-- | gcc/java/jvgenmain.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/java/jvgenmain.c b/gcc/java/jvgenmain.c index 91fa81c..a678802 100644 --- a/gcc/java/jvgenmain.c +++ b/gcc/java/jvgenmain.c @@ -123,8 +123,12 @@ main (int argc, char **argv) for (i = 1; i < last_arg; ++i) { const char *p; + + if (strcmp (argv[i], "-D") == 0) + continue; + fprintf (stream, " \""); - for (p = &argv[i][2]; *p; ++p) + for (p = argv[i]; *p; ++p) { if (! ISPRINT (*p)) fprintf (stream, "\\%o", *p); |