diff make/build.sh @ 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 bab5cbf74b5f
children
line wrap: on
line diff