diff make/linux/Makefile @ 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 43223d3f5dcd
children b51e29501f30 52b4284cb496
line wrap: on
line diff