comparison make/jprt.properties @ 17152:d48738c27e7d

Truffle: restore "opt fail" message on compilation failure
author Andreas Woess <andreas.woess@jku.at>
date Thu, 18 Sep 2014 19:02:02 +0200
parents f0221ff14605
children 3ef5c627634a
comparison
equal deleted inserted replaced
17151:e165f4223650 17152:d48738c27e7d