diff deploy/linux/deploy-deb.sh @ 922:a16456ca5e71 cxx11

More type fixes. We now build with -Wconversion, on this platform (64-bit Linux) at least.
author Chris Cannam
date Tue, 10 Mar 2015 17:23:45 +0000
parents d47aa2977d7a
children 8b63b44c3a91
line wrap: on
line diff