MD5SUM=`$top_builddir/tools/src/mymd5sum $top_builddir/tmp/results`
# Accept eithe a DOS or UNIX based text file, so accept two checksums.
if [ $MD5SUM = f53d09bdc334c3f0508b4f44e789e216 ] || [ $MD5SUM = aebd9a6d1c1db548d39723edec454640 ] ; then
MD5SUM=`$top_builddir/tools/src/mymd5sum $top_builddir/tmp/results`
# Accept eithe a DOS or UNIX based text file, so accept two checksums.
if [ $MD5SUM = f53d09bdc334c3f0508b4f44e789e216 ] || [ $MD5SUM = aebd9a6d1c1db548d39723edec454640 ] ; then