diff make/scm.make @ 4537:43b4e9201c29

Improve specjvm2008 command
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 08 Feb 2012 12:20:59 +0100
parents c18cbe5936b8
children
line wrap: on
line diff