#!/bin/bash

for((RND=1;RND<=500;RND++))
do
printf -v file1 "sortpunch_%d.flx" $RND
printf -v file2 "/home/mk/damspil/sort2/%06d.out" $RND
printf -v file1 "hvidpunch_%d.flx" $RND
printf -v file2 "/home/mk/damspil/hvid/%06d.out" $RND
flx2a <$file1 | \
	/home/mk/damspil/h8 >/tmp/mk1
fgrep '<' $file2 | /home/mk/damspil/h8 >/tmp/mk2

diff /tmp/mk[12]
st=$?
if [ $st -eq 0 ]
then
:
else
  echo $RND BAD $op1 $op2
# exit
fi
done