diff make/linux/platform_ppc @ 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 b92c45f2bc75
children 0f03ff49c720
line wrap: on
line diff