diff --git a/configure b/configure index a5a68f40..87218223 100755 --- a/configure +++ b/configure @@ -299,6 +299,10 @@ for OPT in "$@"; do pch_use=" -DPRECOMPILE_HEADERS:BOOL=ON" shared="" ;; + lto) + use_lto=" -DWHOLE_PROG_OPTIM=ON" + shared="" + ;; # this flag is just for compatibility with the deprecation # flag in DUNE, so we can build without warnings fieldvector-size-is-method)