diff options
author | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2015-04-30 12:55:25 -0700 |
---|---|---|
committer | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2015-04-30 12:55:25 -0700 |
commit | d30457a34875fe0ddaeb533ecc566916d88255f9 (patch) | |
tree | 1b3dcacd0fdb837dc32d524db4d925000c6d074a /src/core/profiling | |
parent | e4cf6e1cf38060e93a13c4dfaeb65fc8e3703fd7 (diff) | |
parent | 2e4a7dc2fee24be341be0e84c2136aef4f426991 (diff) |
Merge pull request #1427 from ctiller/gcov-is-basically-debug-lets-save-time-and-ride-unicorns
Remove dbg build from Travis, use gcov instead
Diffstat (limited to 'src/core/profiling')
0 files changed, 0 insertions, 0 deletions