projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec16b41) | patch
Disable debug symbols for production builds.
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 2 Aug 2017 23:18:53 +0000 (16:18 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Wed, 2 Aug 2017 23:18:53 +0000 (16:18 -0700)
commitb539a167fa56deea34472a9725693f45ae325dd8
tree73992cda19c1cda7a4ab6657a24b7f50b3eb5283tree
parentec16b410a725e4a7659c41f87327cdd1ef7b59e1commit | diff
Disable debug symbols for production builds.
configure.ac diff | blob | history