diff options
author | José Fonseca <[email protected]> | 2009-09-20 18:07:16 +0100 |
---|---|---|
committer | José Fonseca <[email protected]> | 2009-09-20 18:09:34 +0100 |
commit | 1a9eec84bd363409b884fbf468dbec6ca595b593 (patch) | |
tree | dee7124ca05e19dd60719b933e33c335b6718b10 /src/Makefile | |
parent | 911a7a82cd44e89dd7c24a256a0a172f01eadde3 (diff) |
scons: Drop gprof support for profile builds; tweak optimization flags instead.
gprof is useful for shared libraries, hence our drivers. Nevertheless
profilers like oprofile can benefit from disabling some relatively
minor optimizations for more accurate / complete results.
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions