comparison make/jprt.gmk @ 8942:f065dc502356

Small clean up.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 09 Apr 2013 13:00:02 +0200
parents 109d1d265924
children fe392af93c23
comparison
equal deleted inserted replaced
8939:8fab4f4fde34 8942:f065dc502356