diff make/pic.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 06320b1578cb
line wrap: on
line diff