diff configure @ 370:cb6c59627bcc

mingw32 build fix
author Chris Cannam
date Tue, 05 Aug 2014 11:09:58 +0100
parents 60ede78a20db
children cff0f07178d6
line wrap: on
line diff