diff --git a/bash.changes b/bash.changes index 7b30a6ac..c0d48ee6 100644 --- a/bash.changes +++ b/bash.changes @@ -1,3 +1,9 @@ +------------------------------------------------------------------- +Fri Dec 9 12:09:46 UTC 2016 - mliska@suse.cz + +- Enable -fprofile-correction to cover misleading profile created due + to terminating_signal which does not return. + ------------------------------------------------------------------- Mon Nov 28 11:41:49 UTC 2016 - werner@suse.de diff --git a/bash.spec b/bash.spec index ae43cd9a..cadf8be1 100644 --- a/bash.spec +++ b/bash.spec @@ -550,7 +550,7 @@ popd SCREENRC=$SCREENRC SCREENDIR=$SCREENDIR \ screen -L -D -m make TESTSCRIPT=%{SOURCE4} check kill -TERM $pid - make %{?do_profiling:CFLAGS="$CFLAGS %cflags_profile_feedback" clean} all + make %{?do_profiling:CFLAGS="$CFLAGS %cflags_profile_feedback -fprofile-correction" clean} all make -C examples/loadables/ make documentation