Hi L4 hackers,

When I Running hello.iso http://os.inf.tu-dresden.de/fiasco/build.html via make grub2iso E=hello MODULE_SEARCH_PATH=/path/to/fiasco-build-dir it failed to generate ISO, xorriso thrown such error:

xorriso : FAILURE : Not a known command:  '-f'

xorriso : aborting : -abort_on 'FAILURE' encountered 'FAILURE'
Failed to create ISO at tool/lib/L4/Grub.pm line 123.
Makefile:598: recipe for target 'grub2iso' failed

so I simply changed the option:


Index: tool/lib/L4/Grub.pm
===================================================================
--- tool/lib/L4/Grub.pm (revision 72)
+++ tool/lib/L4/Grub.pm (working copy)
@@ -116,7 +116,7 @@
     close A;
   };
   my $cmd = "$mkr --output=\"$isofilename\" $dir ".
-            join(' ', @morefiles)." --$opt -f";
+            join(' ', @morefiles)." --$opt -follow default";
   system("$cmd");
   die "Failed to create ISO" if $?;
   # grub-mkrescue does not propagate internal tool errors


please review my patch, thanks a lot!
-- 
Regards,
Leslie Zhai - a LLVM hacker https://reviews.llvm.org/p/xiangzhai/