merge with mainline

This commit is contained in:
BVK Chaitanya 2010-08-19 16:54:00 +05:30
commit 16c7cb32c8
80 changed files with 5101 additions and 1687 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}