comparison make/linux/build.sh @ 7748:2d57a3bd82ab

Make gate fail on warnings
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 08 Feb 2013 14:37:55 +0100
parents 075ea0ed9e7c
children
comparison
equal deleted inserted replaced
7747:142dffbd0a5d 7748:2d57a3bd82ab