diff options
Diffstat (limited to '')
| -rw-r--r-- | external/ucpp/ucpp.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/external/ucpp/ucpp.patch b/external/ucpp/ucpp.patch new file mode 100644 index 000000000..c9c4b92b7 --- /dev/null +++ b/external/ucpp/ucpp.patch @@ -0,0 +1,11 @@ +--- cpp.c ++++ cpp.c +@@ -2464,7 +2464,7 @@ + warning(-1, "unknown option '%s'", argv[i]); + } else { + if (filename != 0) { +- error(-1, "spurious filename '%s'", argv[i]); ++ error(-1, "spurious duplicate filename '%s' - vs. '%s' ", argv[i], filename); + return 2; + } + filename = argv[i]; |