diff options
Diffstat (limited to 'bin/reproducible_lede_common.sh')
-rw-r--r-- | bin/reproducible_lede_common.sh | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/bin/reproducible_lede_common.sh b/bin/reproducible_lede_common.sh index 5301c3d0..85b0867f 100644 --- a/bin/reproducible_lede_common.sh +++ b/bin/reproducible_lede_common.sh @@ -79,7 +79,12 @@ node_document_environment() { local toolchain_html=$tmpdir/toolchain.html cd $tmpdir/build/source - echo "<table><tr><th>Target toolchains built</th></tr>" > $toolchain_html + cat /dev/null > $toolchain_html + echo " <table><tr><th>git commit built</th></tr><tr><td><code>" >> $toolchain_html + git log -1 >> $toolchain_html + echo " </code></td></tr></table>" >> $toolchain_html + + echo "<table><tr><th>Target toolchains built</th></tr>" >> $toolchain_html for i in $(ls -1d staging_dir/toolchain*|cut -d "-" -f2-|xargs echo) ; do echo " <tr><td><code>$i</code></td></tr>" >> $toolchain_html done @@ -334,14 +339,6 @@ openwrt_download() { done } -openwrt_get_commit() { - TMPDIR=$1 - TYPE=$2 - cd $TMPDIR/build/source - git log -1 -} - - openwrt_get_banner() { TMPDIR=$1 TYPE=$2 @@ -421,7 +418,6 @@ build_two_times() { RUN=b1 ssh $GENERIC_NODE1 reproducible_$TYPE node openwrt_build $TYPE $RUN $TARGET $CONFIG $TMPDIR ssh $GENERIC_NODE1 reproducible_$TYPE node openwrt_get_banner $TMPDIR $TYPE > $BANNER_HTML - ssh $GENERIC_NODE1 reproducible_$TYPE node openwrt_get_commit $TMPDIR $TYPE > $GIT_COMMIT # cut away everything before begin and after the end… # (thats noise generated by the way we run this via reproducible_common.sh) cat $BANNER_HTML | sed '/===bannerend===/,$d' | tac | sed '/===bannerbegin===/,$d' | tac > $BANNER_HTML |