ieee1275: Fix segfault in grub-ofpathname
[grub.git] / util / ieee1275 / grub-ofpathname.c
index 8e5d766..300fbdd 100644 (file)
@@ -46,7 +46,9 @@ int main(int argc, char **argv)
     }
 
   of_path = grub_util_devname_to_ofpath (argv[1]);
-  printf("%s\n", of_path);
+
+  if (of_path)
+    printf ("%s\n", of_path);
 
   free (of_path);