Some minor comments:
+
+if ! diff -q ${outfile1} ${outfile2} >/dev/null
+then
+ echo "$1: GRUB and BASH outputs (${outfile1}, ${outfile2}) did not match"
+ status=1
+else
+ rm -f ${outfile1} ${outfile2}
+fi
+
1. In the above echo statement, $1 doesn't resolve to the testcase
file name, use ${source} instead.
2. Change the "(${outfile1}, ${outfile2})" to "(see diff -u
${outfile1} ${outfile2})" so that developer can select-n-paste the
command more easily.
--
bvk.chaitanya
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel
