diff make/linux/platform_ppc @ 8889:c669e8e621a1

Update the -client line in jvm.cfg when it already exists (ie IGNORE)
author Gilles Duboscq <duboscq@ssw.jku.at>
date Sun, 07 Apr 2013 22:27:16 +0200
parents b92c45f2bc75
children 0f03ff49c720
line wrap: on
line diff