diff configure @ 253:0369c31f9c69

Linux deployment fixes
author Chris Cannam
date Tue, 22 Mar 2016 12:51:49 +0000
parents 6153429ebf89
children 382f33b7f00e
line wrap: on
line diff