diff make/linux/makefiles/defs.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 f36e073d56a4
children faf0c78e906b
line wrap: on
line diff