diff make/linux/platform_ppc @ 14043:3bd2ad96f162

TruffleCompilerOptions: add help texts, delete old options
author Andreas Woess <andreas.woess@jku.at>
date Mon, 03 Mar 2014 10:12:02 +0100
parents b92c45f2bc75
children 0f03ff49c720
line wrap: on
line diff