diff make/defs.make @ 15671:c80794ec690b

[inlining] moved GreedyInliningPolicy to inlining.policy
author Miguel Garcia <miguel.m.garcia@oracle.com>
date Thu, 15 May 2014 11:22:08 +0200
parents 4ca6dc0799b6
children 0583d157992a
line wrap: on
line diff