diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-04-30 10:30:24 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-04-30 10:30:24 +0200 |
| commit | 43d659cb24d082474ce60cfb12e1c8c34a5e66a0 (patch) | |
| tree | 21fca9a513c032d2b8f7417b75df2c84d31c3339 | |
| parent | a7b22b18b5f59359ec812595221f33a9ef827b4a (diff) | |
| download | jenkins.debian.net-43d659cb24d082474ce60cfb12e1c8c34a5e66a0.tar.xz | |
g-i: be more verbose
| -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 36dec321..b165b228 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -924,7 +924,7 @@ monitor_system() { PRINTF_OLD=$(printf "%06d" $OLD) # test if this screenshot is basically the same as the one $TIMEOUT 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 || true ) + PIXEL=$(compare -metric AE snapshot_${PRINTF_NR}.ppm snapshot_${PRINTF_OLD}.ppm /dev/null || 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" |