summaryrefslogtreecommitdiff
path: root/gcc/optc-gen.awk
diff options
context:
space:
mode:
authormanu <manu@138bc75d-0d04-0410-961f-82ee72b054a4>2012-05-13 11:10:49 +0000
committermanu <manu@138bc75d-0d04-0410-961f-82ee72b054a4>2012-05-13 11:10:49 +0000
commit4584d89f1a8d2b9798306191aedadca32c0b740c (patch)
tree8977a467d9177a3e49a77b7112c31a945d213986 /gcc/optc-gen.awk
parent62e307b548a73f6b70599c3984e1c4a09159198d (diff)
downloadgcc-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.awk6
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;