diff options
| author | Ralf Wildenhues <Ralf.Wildenhues@gmx.de> | 2009-03-30 05:55:57 +0000 |
|---|---|---|
| committer | Ralf Wildenhues <rwild@gcc.gnu.org> | 2009-03-30 05:55:57 +0000 |
| commit | 40a1cfba7818100adbde7144be9f6515b9a6ed86 (patch) | |
| tree | 43879545c022a5615cfb9ae775576eef41197bca /gcc/optc-gen.awk | |
| parent | 7bd36a9ce8182902f45b30657871bb0718186562 (diff) | |
| download | gcc-40a1cfba7818100adbde7144be9f6515b9a6ed86.tar.gz | |
optc-gen.awk: Warn if an option flag has multiple different help strings.
gcc/
* optc-gen.awk: Warn if an option flag has multiple different
help strings.
From-SVN: r145278
Diffstat (limited to 'gcc/optc-gen.awk')
| -rw-r--r-- | gcc/optc-gen.awk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk index 3e644a571df..2117150f4d1 100644 --- a/gcc/optc-gen.awk +++ b/gcc/optc-gen.awk @@ -149,6 +149,10 @@ for (i = 0; i < n_opts; i++) { flags[i + 1] = flags[i] " " flags[i + 1]; 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" i++; back_chain[i] = "N_OPTS"; indices[opts[i]] = j; |