diff make/pic.make @ 11675:77d9f12797c5

Use NodeMap in inlining utility when number of nodes is high.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 17 Sep 2013 00:30:01 +0200
parents 0771839a29ab
children
line wrap: on
line diff