diff make/linux/platform_ppc @ 14875:56704532e1cd

disable bootstrap in tiered mode
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 28 Mar 2014 12:01:52 +0100
parents d2907f74462e
children 4ca6dc0799b6
line wrap: on
line diff