>From dd0238c24a64fdbb35fe6fd2310425d5a07f38e6 Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Sat, 11 Jul 2020 13:12:59 +0200
Subject: [PATCH] Fix "make distcheck" failure on Ubuntu 16.04.

* configure.ac: Don't use the warning option -Wsuggest-attribute=pure.
---
 configure.ac | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/configure.ac b/configure.ac
index b248493..d2962bf 100644
--- a/configure.ac
+++ b/configure.ac
@@ -91,6 +91,9 @@ if test "$gl_gcc_warnings" = yes; then
   nw="$nw -Wswitch-enum"            # Too many warnings for now
   # gcc 4.4.6 complains enum-compare is C++ only; gcc 4.7.0 implies it in -Wall
   nw="$nw -Wenum-compare"
+  # gcc 5.4.0 suggests to mark 'fault_handler' with attribute 'pure', although
+  # this function has side effects.
+  nw="$nw -Wsuggest-attribute=pure"
 
   # Gnulib uses '#pragma GCC diagnostic push' to silence some
   # warnings, but older gcc doesn't support this.
-- 
2.7.4