diff make/linux/makefiles/tiered.make @ 13336:d4c6dd07be76

SL: added exemplary uses of new profiling utility BranchProfile to SL.
author Christian Humer <christian.humer@gmail.com>
date Sun, 15 Dec 2013 22:20:12 +0100
parents 0f3fe35513a0
children be896a1983c0
line wrap: on
line diff