diff options
| author | Andres Notzli <andres.noetzli@gmail.com> | 2017-04-19 08:46:59 -0700 |
|---|---|---|
| committer | Andres Notzli <andres.noetzli@gmail.com> | 2017-04-19 08:46:59 -0700 |
| commit | 6cfbc6cace749c6196e2dec59b651ac5173f8ab7 (patch) | |
| tree | 4db76b2e101d482feb8f93e7d9ead7c2b771fbd0 /contrib/new-theory.awk | |
| parent | 98f12f90488949fd0367697fb684e94938e0b62b (diff) | |
Add check for C++ exceptions to config scriptcheck_exceptions
Bug 687 was caused by the configuration not properly supporting C++
exceptions. To avoid such an incidence in the future, this commit adds a
simple check to `configure.ac` (when not cross compiling).
Diffstat (limited to 'contrib/new-theory.awk')
0 files changed, 0 insertions, 0 deletions