diff configure @ 574:ca0ff30dae26 by-id

Build fixes
author Chris Cannam
date Wed, 10 Jul 2019 10:59:31 +0100
parents 21c4b4c4963b
children f52766aa747b
line wrap: on
line diff