diff options
| author | Holger Levsen <holger@layer-acht.org> | 2013-01-06 11:48:19 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2013-01-06 11:48:19 +0100 |
| commit | cb0c1e7eb805e273196505c316753356ed0551e9 (patch) | |
| tree | f344690ee46fa5ba79ca50fc6c4ebe611641ebe2 | |
| parent | a3228c9f671e8d74e33b585b49a05c7d5d166092 (diff) | |
| download | jenkins.debian.net-cb0c1e7eb805e273196505c316753356ed0551e9.tar.xz | |
g-i: fix one error, how many left?
| -rwxr-xr-x | bin/g-i-installation.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index c3163059..2d473126 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -530,7 +530,7 @@ monitor_system() { PRINTF_OLD=$(printf "%06d" $OLD) # test if this screenshot is basically the same as the one 400 screenshots ago # 400 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 ) + PIXEL=$(compare -metric AE snapshot_${PRINTF_NR}.ppm snapshot_${PRINTF_OLD}.ppm /dev/null 2>&1 || true ) # usually this returns an integer, but not always.... if [[ "$PIXEL" =~ ^[0-9]+$ ]] ; then echo "$PIXEL pixel difference between snapshot_${PRINTF_NR}.ppm and snapshot_${PRINTF_OLD}.ppm" |