Loading bin/chroot-run.sh +8 −0 Original line number Diff line number Diff line Loading @@ -150,6 +150,14 @@ cleanup() { publish_changes_to_userContent $CHANGES "" "git ${GIT_COMMIT:0:7}" fi # # special case: publish debian-policy on the webserver # CHANGES=$(ls -1 $CHROOT_TARGET/tmp/debian-policy_*.changes 2>/dev/null|| true) if [ ! -z "$CHANGES" ] ; then publish_changes_to_userContent $CHANGES "" "git ${GIT_COMMIT:0:7}" fi # # publish artifacts # Loading Loading
bin/chroot-run.sh +8 −0 Original line number Diff line number Diff line Loading @@ -150,6 +150,14 @@ cleanup() { publish_changes_to_userContent $CHANGES "" "git ${GIT_COMMIT:0:7}" fi # # special case: publish debian-policy on the webserver # CHANGES=$(ls -1 $CHROOT_TARGET/tmp/debian-policy_*.changes 2>/dev/null|| true) if [ ! -z "$CHANGES" ] ; then publish_changes_to_userContent $CHANGES "" "git ${GIT_COMMIT:0:7}" fi # # publish artifacts # Loading