#! /bin/bash
# Last edited on 2024-03-30 18:21:45 by stolfi

# Usage: $0 <newrefix> <oldprefix>
# Compares the files <newprefix>.checked-{bad,dunno,good} against 
#   the files <oldprefix>*.{bad,dunno,good}, listing conflicts.

if [[ $# -ne 2]]; then
  echo "** usage: $0 <newprefix> <oldprefix>" 1>&2
  exit 1
fi

newprefix="$1"
oldprefix="$2"

for bfile in  ${oldprefix}*.{bad,dunno,good} ; do
  bext="${f##*.}"
  for aext in bad dunno good ; do
    if [[  ".${aext}" != ".${bext}"  ]]; then
      afile="${newprefix}.checked-${aext}"
      echo "=== in both ${afile} and ${bfile}:" 1>&2
      bool 1.2 ${afile} ${bfile} 1>&2
    fi
  done
done