#! /bin/sh

./$1 > $1.log
if cmp -s $srcdir/$1.ok $1.log; then
  rm $1.log
else
  diff $srcdir/$1.ok $1.log
  exit 1
fi