diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-26 18:28:15 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-26 18:28:15 -0700 |
commit | cb5ac59af1836486b8ccfdb1c44390de9a8c80d8 (patch) | |
tree | f90d14dd6eebe9ab70ab79a2c6966280747d6f84 /cmake/FindGMP.cmake | |
parent | 672d1347c2daeddb8c434ea996f95ba555d22589 (diff) |
cmake: Only print dumping warning if not disabled by user. (#2543)
Diffstat (limited to 'cmake/FindGMP.cmake')
0 files changed, 0 insertions, 0 deletions