2010-11-21 06:12:27 -08:00
|
|
|
rm -f pleasefail
|
|
|
|
|
redo passfail
|
2010-12-06 03:12:02 -08:00
|
|
|
[ -e passfail ] || exit 42
|
2010-11-21 06:12:27 -08:00
|
|
|
PF1=$(cat passfail)
|
|
|
|
|
touch pleasefail
|
2010-12-06 03:12:02 -08:00
|
|
|
redo passfail 2>/dev/null && exit 43
|
|
|
|
|
[ -e passfail ] || exit 44
|
2010-11-21 06:12:27 -08:00
|
|
|
PF2=$(cat passfail)
|
2010-12-06 03:12:02 -08:00
|
|
|
[ "$PF1" = "$PF2" ] || exit 45
|
2010-11-21 06:12:27 -08:00
|
|
|
rm -f pleasefail
|
2010-12-06 03:12:02 -08:00
|
|
|
redo passfail || exit 46
|
2010-11-21 06:12:27 -08:00
|
|
|
PF3=$(cat passfail)
|
2010-12-06 03:12:02 -08:00
|
|
|
[ "$PF1" != "$PF3" ] || exit 47
|