configure ] fix

This commit is contained in:
van Hauser 2016-06-17 18:57:24 +02:00
commit 9a048e5446