diff 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
line wrap: on
line diff