#!/bin/bash
for FILE in $1/*.imp; do
    # support all the variations of Imp ...
    fname="$FILE"
    fname="`basename $fname .imp`"
    fname="`basename $fname .imp9`"
    fname="`basename $fname .i`"
    fname="`basename $fname .i77`"
    fname="`basename $fname .i80`"
    fname="`basename $fname .i68k`" 
    fname="`basename $fname .i15`" 
    echo -n "$FILE: "; ./bin/imps $2 --no-check $FILE > $1/new/$fname.c ; diff $1/new/$fname.c $1/baseline/$fname.c
done