diff make/linux/build.sh @ 7821:b96083fb7449

Removed unused field in CompilationResult class.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 19 Feb 2013 16:52:52 -0800
parents 075ea0ed9e7c
children
line wrap: on
line diff