diff options
author | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-05-13 11:10:49 +0000 |
---|---|---|
committer | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-05-13 11:10:49 +0000 |
commit | 4584d89f1a8d2b9798306191aedadca32c0b740c (patch) | |
tree | 8977a467d9177a3e49a77b7112c31a945d213986 /gcc/optc-gen.awk | |
parent | 62e307b548a73f6b70599c3984e1c4a09159198d (diff) | |
download | gcc-4584d89f1a8d2b9798306191aedadca32c0b740c.tar.gz |
2012-05-13 Manuel López-Ibáñez <manu@gcc.gnu.org>
gcc/
* optc-gen.awk: Error instead of warning for conflicting help.
ada/
* gcc-interface/lang.opt (I): Comment out help text with no effect.
(nostdinc): Comment out help text with no effect.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@187437 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/optc-gen.awk')
-rw-r--r-- | gcc/optc-gen.awk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk index 4dc97f9ca6a..61dbe8ce2ac 100644 --- a/gcc/optc-gen.awk +++ b/gcc/optc-gen.awk @@ -188,9 +188,9 @@ for (i = 0; i < n_opts; i++) { if (help[i + 1] == "") help[i + 1] = help[i] else if (help[i] != "" && help[i + 1] != help[i]) - print "warning: multiple different help strings for " \ - opts[i] ":\n\t" help[i] "\n\t" help[i + 1] \ - | "cat 1>&2" + print "#error Multiple different help strings for " \ + opts[i] ":\n\t" help[i] "\n\t" help[i + 1] + i++; back_chain[i] = "N_OPTS"; indices[opts[i]] = j; |