Mercurial > hg > truffle
diff make/jprt.gmk @ 13564:35f637594acc
Truffle: refinements in the management of source information: a new marker interface for empty SourceSections and fix a bug that kept modified source files from being reloaded.
author | Michael Van De Vanter <michael.van.de.vanter@oracle.com> |
---|---|
date | Tue, 07 Jan 2014 18:21:20 -0800 |
parents | 109d1d265924 |
children | fe392af93c23 |