comparison make/jprt.properties @ 14264:4d7678fb8a27

8022395: java.util.zip.ZipException: Not in GZIP format in JT_JDK/test/java/util/zip/GZIP tests Reviewed-by: kvn, iveresov
author twisti
date Thu, 16 Jan 2014 16:18:34 -0800
parents 384c92148c68
children 50fdb38839eb
comparison
equal deleted inserted replaced
14263:30f8cd8b43dd 14264:4d7678fb8a27