diff options
| author | David Young <dyoung@hdfgroup.org> | 2020-02-25 18:02:07 (GMT) |
|---|---|---|
| committer | David Young <dyoung@hdfgroup.org> | 2020-02-25 18:02:07 (GMT) |
| commit | 0f32728f728f0670e49cb712acd8e7b34fa0bcc4 (patch) | |
| tree | 7eea5c75223f6fa5201c3aa14fdb50152f331b45 | |
| parent | 626c60dec4c17eb95987d4ed7838408272487aba (diff) | |
| download | hdf5-0f32728f728f0670e49cb712acd8e7b34fa0bcc4.zip hdf5-0f32728f728f0670e49cb712acd8e7b34fa0bcc4.tar.gz hdf5-0f32728f728f0670e49cb712acd8e7b34fa0bcc4.tar.bz2 | |
By default, demote warnings promoted to errors back to warnings.
| -rw-r--r-- | config/gnu-flags | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index 41d9058..61a1bfd 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -18,6 +18,24 @@ # # +# For now, do not promote any warnings to errors. +# +PROMOTE_ERRORS_DFLT=no + +# +# This filter rewrites -Werror= as -W, in that way demoting warnings +# promoted to errors back to warnings, if PROMOTE_ERRORS is no. +# +demote_errors() +{ + if [ ${PROMOTE_ERRORS:-${PROMOTE_ERRORS_DFLT}} = no ]; then + sed 's,-Werror=,-W,g' + else + cat + fi +} + +# # Prepend `$srcdir/config/gnu-` to the filename suffix(es) given as # subroutine argument(s), remove comments starting with # and ending # at EOL, replace spans of whitespace (including newlines) with spaces, @@ -26,7 +44,7 @@ load_gcc_arguments() { set -- $(for arg; do - sed 's,#.*$,,' $srcdir/config/gnu-${arg} + sed 's,#.*$,,' $srcdir/config/gnu-${arg} | demote_errors done) IFS=' ' echo "$*" } |