Accepting request 498391 from Base:System
Make build reproducible in spite of profile based optimizations (boo#1040589) (forwarded request 498339 from bmwiedemann) OBS-URL: https://build.opensuse.org/request/show/498391 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/bash?expand=0&rev=138
This commit is contained in:
commit
88c38ea3a2
10
bash.changes
10
bash.changes
@ -1,3 +1,13 @@
|
|||||||
|
-------------------------------------------------------------------
|
||||||
|
Thu May 25 17:33:36 UTC 2017 - bwiedemann@suse.com
|
||||||
|
|
||||||
|
- Make build reproducible in spite of profile based optimizations (boo#1040589)
|
||||||
|
|
||||||
|
-------------------------------------------------------------------
|
||||||
|
Wed May 24 12:42:20 UTC 2017 - bwiedemann@suse.com
|
||||||
|
|
||||||
|
- Allow to disable do_profiling in builds (related to boo#1040589)
|
||||||
|
|
||||||
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
||||||
Wed Apr 26 16:04:15 UTC 2017 - werner@suse.de
|
Wed Apr 26 16:04:15 UTC 2017 - werner@suse.de
|
||||||
|
|
||||||
|
13
bash.spec
13
bash.spec
@ -536,7 +536,11 @@ popd
|
|||||||
--disable-strict-posix-default \
|
--disable-strict-posix-default \
|
||||||
--enable-separate-helpfiles=%{_datadir}/bash/helpfiles \
|
--enable-separate-helpfiles=%{_datadir}/bash/helpfiles \
|
||||||
$READLINE
|
$READLINE
|
||||||
make %{?do_profiling:CFLAGS="$CFLAGS %cflags_profile_generate"} \
|
profilecflags=CFLAGS="$CFLAGS"
|
||||||
|
%if 0%{?do_profiling}
|
||||||
|
profilecflags=CFLAGS="$CFLAGS %cflags_profile_generate"
|
||||||
|
%endif
|
||||||
|
make "$profilecflags" \
|
||||||
all printenv recho zecho xcase
|
all printenv recho zecho xcase
|
||||||
TMPDIR=$(mktemp -d /tmp/bash.XXXXXXXXXX) || exit 1
|
TMPDIR=$(mktemp -d /tmp/bash.XXXXXXXXXX) || exit 1
|
||||||
> $SCREENLOG
|
> $SCREENLOG
|
||||||
@ -545,7 +549,12 @@ popd
|
|||||||
SCREENRC=$SCREENRC SCREENDIR=$SCREENDIR \
|
SCREENRC=$SCREENRC SCREENDIR=$SCREENDIR \
|
||||||
screen -D -m make TESTSCRIPT=%{SOURCE4} check
|
screen -D -m make TESTSCRIPT=%{SOURCE4} check
|
||||||
kill -TERM $pid
|
kill -TERM $pid
|
||||||
make %{?do_profiling:CFLAGS="$CFLAGS %cflags_profile_feedback -fprofile-correction" clean} all
|
%if 0%{?do_profiling}
|
||||||
|
rm -f jobs.gcda
|
||||||
|
profilecflags=CFLAGS="$CFLAGS %cflags_profile_feedback -fprofile-correction"
|
||||||
|
clean=clean
|
||||||
|
%endif
|
||||||
|
make "$profilecflags" $clean all
|
||||||
make -C examples/loadables/
|
make -C examples/loadables/
|
||||||
make documentation
|
make documentation
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user