summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Young <dyoung@hdfgroup.org>2020-02-25 18:02:07 (GMT)
committerDavid Young <dyoung@hdfgroup.org>2020-02-25 18:02:07 (GMT)
commit0f32728f728f0670e49cb712acd8e7b34fa0bcc4 (patch)
tree7eea5c75223f6fa5201c3aa14fdb50152f331b45
parent626c60dec4c17eb95987d4ed7838408272487aba (diff)
downloadhdf5-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-flags20
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 "$*"
}