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