diff --git a/configure b/configure index 443e9ef..e0d2ccc 100755 --- a/configure +++ b/configure @@ -65,9 +65,9 @@ if [[ "$coverage" == "yes" ]]; then ldflags_extra="$ldflags_extra -lgcov --coverage" fi -release_cflags="-O3 -flto" +release_cflags="-O3" if [[ "$release" == "yes" ]]; then - ccflags_extra="$ccflags_extra $release_cflags" + ccflags_extra="$ccflags_extra $release_cflags -flto" fi if [[ "$perf" == "yes" ]]; then