comparison make/linux/build.sh @ 4216:a13d61d3910e

fix for when no vm build is explicitely selected
author Gilles Duboscq <gilles.m.duboscq@gmail.com>
date Wed, 04 Jan 2012 19:47:17 +0100
parents 075ea0ed9e7c
children
comparison
equal deleted inserted replaced
4215:a2caa019ba3a 4216:a13d61d3910e