diff make/defs.make @ 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 436b4a3231bf
children 94ec88ca68e2
line wrap: on
line diff