make/autoconf/basics.m4
changeset 48846 fe434d568439
parent 48743 ba52fa7bbf14
child 48912 01237b276b8b
--- a/make/autoconf/basics.m4	Mon Feb 12 09:12:41 2018 +0100
+++ b/make/autoconf/basics.m4	Mon Feb 12 16:36:15 2018 +0100
@@ -814,6 +814,7 @@
           | $SED -e 's/config.log//g' \
               -e 's/configure.log//g' \
               -e 's/confdefs.h//g' \
+              -e 's/configure-support//g' \
               -e 's/ //g' \
           | $TR -d '\n'`
       if test "x$filtered_files" != x; then