+# As argument: the pattern used for the file
+function process_result()
+{
+ # Result
+ pattern=$1
+ SAV=""
+ FAIL=""
+ if [ -r "sav/$pattern.sav" ]; then
+ diff -u "$pattern.res" "sav/$pattern.sav" > "$pattern.diff.sav.log"
+ if [ "$?" == 0 ]; then
+ SAV=OK
+ else
+ SAV=NOK
+ fi
+ fi
+ if [ -r "sav/$pattern.fail" ]; then
+ diff -u "$pattern.res" "sav/$pattern.fail" > "$pattern.diff.fail.log"
+ if [ "$?" == 0 ]; then
+ FAIL=OK
+ else
+ FAIL=NOK
+ fi
+ fi
+ if [ "x$SAV" = "xOK" ]; then
+ if [ "x$FAIL" = "x" ]; then
+ echo "[ok] $pattern.res"
+ else
+ echo "[ok] $pattern.res - but sav/$pattern.fail remains!"
+ fi
+ ok="$ok $pattern"
+ elif [ "x$FAIL" = "xOK" ]; then
+ echo "[fail] $pattern.res"
+ ok="$ok $pattern"
+ elif [ "x$SAV" = "xNOK" ]; then
+ echo "[======= fail $pattern.res sav/$pattern.sav =======]"
+ nok="$nok $ff"
+ echo "$ii" >> "$ERRLIST"
+ elif [ "x$FAIL" = "xNOK" ]; then
+ echo "[======= changed $pattern.res sav/$pattern.fail ======]"
+ nok="$nok $ff"
+ echo "$ii" >> "$ERRLIST"
+ else
+ echo "[=== no sav ===] $pattern.res"
+ nos="$nos $pattern"
+ fi
+}