trying to fix #5605
authorChristian Grothoff <christian@grothoff.org>
Sun, 24 Feb 2019 12:43:22 +0000 (13:43 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sun, 24 Feb 2019 12:43:22 +0000 (13:43 +0100)
commit41d45203ffd0936acbd4649b23e926b90c9a3333
tree8497ddcfdd715fbd5a038d680ffab1229af3bbbc
parent8fe30a808b12159162d5ecebbba040d976fe91fd
trying to fix #5605
configure.ac