diff options
-rwxr-xr-x | bin/chroot-run.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/chroot-run.sh b/bin/chroot-run.sh index 924d8f82..71251888 100755 --- a/bin/chroot-run.sh +++ b/bin/chroot-run.sh @@ -96,6 +96,14 @@ cleanup() { fi # + # special case: diffoscope: run autotest suite after build + # + CHANGES=$(ls -1 $CHROOT_TARGET/tmp/diffoscope_*.changes 2>/dev/null|| true) + if [ ! -z "$CHANGES" ] ; then + sudo chroot $CHROOT_TARGET py.test-3 -v -r s + fi + + # # special case: publish debian-edu-doc on the webserver # CHANGES=$(ls -1 $CHROOT_TARGET/tmp/debian-edu-doc_*.changes 2>/dev/null|| true) |