diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2021-07-07 17:12:12 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2021-07-07 17:14:08 -0400 |
| commit | 27e7fd18f1c337c409f2a567697b27bcd0c09f8b (patch) | |
| tree | 5ff36982295b5c6c528a26d87e950af015656cde /scripts | |
| parent | a59cf78c8d197e2892ec11985a07c98c362e1600 (diff) | |
Rename EIGEN_EXCEPTIONS to EIGEN_USE_EXCEPTIONS, and allow disabling
exceptions with -DEIGEN_USE_EXCEPTIONS=0.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions