diff configure.ac @ 408:32e38d394dc6

Linux build fix! Oops
author Chris Cannam
date Tue, 16 Jun 2015 14:15:14 +0100
parents 7d59dd1ba5de
children 5628c5ec4000
line wrap: on
line diff