[PATCH] Fix listing of directory contents for root device

[Francesco Lavra <francescolavra.fl@gmail.com>]

Since revision 5010, issuing the ls command with a path not including 
the device name results in a NULL pointer dereference. This patch fixes 
the above by reverting one of the three hunks of the patch applied to 
create revision 5010.

Regards,
Francesco

2013-06-02  Francesco Lavra  <francescolavra.fl@gmail.com>

	* grub-core/kern/corecmd.c (grub_core_cmd_ls): Fix handling of paths
	without a device name.

=== modified file 'grub-core/kern/corecmd.c'
--- grub-core/kern/corecmd.c	2013-05-15 08:11:25 +0000
+++ grub-core/kern/corecmd.c	2013-06-02 13:42:53 +0000
@@ -134,7 +134,7 @@
 
       fs = grub_fs_probe (dev);
       path = grub_strchr (argv[0], ')');
-      if (! *path)
+      if (! path)
 	path = argv[0];
       else
 	path++;