diff make/defs.make @ 14582:5fc6b8b54d82

reduced overhead of Debug.metric() and Debug.timer() when no metrics or timers are enabled
author Doug Simon <doug.simon@oracle.com>
date Tue, 18 Mar 2014 12:39:23 +0100
parents d8041d695d19
children 4ca6dc0799b6
line wrap: on
line diff