diff options
| author | Holger Levsen <holger@layer-acht.org> | 2012-12-26 19:40:09 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2012-12-26 19:40:09 +0100 |
| commit | 873ef1ff29b562e6aaca896a758254de015953e2 (patch) | |
| tree | 637ea43f9bed507bf7b0b12e60d5da52c91293d4 /bin | |
| parent | 4eafd2257df33813be29242946600eef3fc7ac3b (diff) | |
| download | jenkins.debian.net-873ef1ff29b562e6aaca896a758254de015953e2.tar.xz | |
give kill more time
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/g-i-installation.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index dcf66503..fb39a996 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -414,6 +414,7 @@ monitor_system() { # test if this screenshot is basically the same as the one 400 screenshots ago # 200 pixels difference between to images is tolerated, to ignore updating clocks PIXEL=$(compare -metric AE snapshot_${PRINTF_NR}.ppm snapshot_${PRINTF_OLD}.ppm /dev/null 2>&1) + echo "$PIXEL pixel difference between snapshot_${PRINTF_NR}.ppm and snapshot_${PRINTF_OLD}.ppm" if [ $PIXEL -lt 200 ] ; then set -x # unless TRIGGER_MODE is empty, matching images means its over @@ -538,6 +539,7 @@ case $NAME in if [ ! -z "$IMAGE" ] ; then sudo umount -l $IMAGE_MNT || true fi + sleep 5 boot_system let START_TRIGGER=NR+500 monitor_system normal $START_TRIGGER |