diff make/jprt.gmk @ 8514:32e57c4e0e9d

-Fix compilation error
author Christos Kotselidis <christos.kotselidis@oracle.com>
date Mon, 25 Mar 2013 16:20:07 +0100
parents 109d1d265924
children fe392af93c23
line wrap: on
line diff