diff configure @ 185:3287df4588dd

Warn for this potential error case
author Chris Cannam
date Fri, 20 Feb 2015 18:09:12 +0000
parents f0f57af581d7
children c71d6ae15882
line wrap: on
line diff