diff make/build.sh @ 9378:0e661acc3b4a

Fix null pointer exception in if reordering.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sun, 28 Apr 2013 01:01:00 +0200
parents bab5cbf74b5f
children
line wrap: on
line diff