projects / ardour.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d63489) | patch
add --debug-symbols configure option.
authorRobin Gareus <robin@gareus.org>
Tue, 8 Jul 2014 16:40:26 +0000 (18:40 +0200)
committerRobin Gareus <robin@gareus.org>
Tue, 8 Jul 2014 16:40:52 +0000 (18:40 +0200)
commit39ea16662063e68e55666ef1ba231e2c94a95ee8
treea1b91ec7c276f7e45a31cb8f6a4287eb44b578catree | snapshot
parent2d634891962ce956611acadb2951ff020159b93acommit | diff
add --debug-symbols configure option.

This allows for --optimize --debug-symbols for profiling.
wscript diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.