if [ $? -ne 0 ] ; then no_result ; fi
# Check that the file read back in has the same data as what we wrote.
activity="compare print ($options)"
if [ $? -ne 0 ] ; then no_result ; fi
# Check that the file read back in has the same data as what we wrote.
activity="compare print ($options)"