merge with mainline

This commit is contained in:
BVK Chaitanya 2010-07-22 22:39:42 +05:30
commit a281e2e80a
18 changed files with 654 additions and 163 deletions

View file

@ -1,4 +1,4 @@
#! /bin/bash -e
#! /bin/sh -e
# Compares GRUB script output with BASH output.
# Copyright (C) 2009,2010 Free Software Foundation, Inc.
@ -84,7 +84,7 @@ done
if [ "x${source}" = x ] ; then
tmpfile=`mktemp`
while read; do
while read REPLY; do
echo $REPLY >> ${tmpfile}
done
source=${tmpfile}