diff make/jprt.gmk @ 3075:3ada297d75ed

Towards new memory dependence graph.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Mon, 27 Jun 2011 13:29:53 +0200
parents 0a8e0d4345b3
children 03b943e6c025
line wrap: on
line diff