merge mainline into bidi

This commit is contained in:
Vladimir 'phcoder' Serbinenko 2010-04-09 19:31:43 +02:00
commit 9e71201f48
69 changed files with 17429 additions and 228 deletions

View file

@ -15,7 +15,7 @@
# You should have received a copy of the GNU General Public License
# along with GRUB. If not, see <http://www.gnu.org/licenses/>.
if [ x$1 == x ]; then
if [ "x$1" = "x" ]; then
echo "Filename required".
fi

View file

@ -145,8 +145,7 @@ else
fi
# Create the GRUB directory if it is not present.
test -d "$bootdir" || mkdir "$bootdir" || exit 1
test -d "$grubdir" || mkdir "$grubdir" || exit 1
mkdir -p "$grubdir" || exit 1
# If --recheck is specified, remove the device map, if present.
if test $recheck = yes; then