diff options
author | Robin Gareus <robin@gareus.org> | 2014-07-08 18:40:26 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2014-07-08 18:40:52 +0200 |
commit | 39ea16662063e68e55666ef1ba231e2c94a95ee8 (patch) | |
tree | a1b91ec7c276f7e45a31cb8f6a4287eb44b578ca /gtk2_ardour/icons | |
parent | 2d634891962ce956611acadb2951ff020159b93a (diff) |
add --debug-symbols configure option.
This allows for --optimize --debug-symbols for profiling.
Diffstat (limited to 'gtk2_ardour/icons')
0 files changed, 0 insertions, 0 deletions