diff configure @ 1042:16dc7307d43a cxx11

More build fixes
author Chris Cannam
date Wed, 04 Mar 2015 13:52:48 +0000
parents cc27f35aa75c
children 98d4dabbf740
line wrap: on
line diff