aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@google.com>2021-07-07 17:12:12 -0400
committerGravatar Benjamin Barenblat <bbaren@google.com>2021-07-07 17:14:08 -0400
commit27e7fd18f1c337c409f2a567697b27bcd0c09f8b (patch)
tree5ff36982295b5c6c528a26d87e950af015656cde /scripts
parenta59cf78c8d197e2892ec11985a07c98c362e1600 (diff)
Support manually disabling exceptionsHEADmaster
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