diff make/jprt.gmk @ 3017:b4ba003eb11d

Fixed unnecessary node in the graph builder.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Sat, 18 Jun 2011 14:51:18 +0200
parents 0a8e0d4345b3
children 03b943e6c025
line wrap: on
line diff