denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

tool/run/grub2: user-friendly missing message

Browse Source 
Ref #2526
This commit is contained in:
Martin Stein
2017-11-10 16:31:21 +01:00
committed by Christian Helmuth
parent f831800ae0
commit 054b8de67b
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
tool/run/grub2.inc
View File

@@ -7,11 +7,14 @@ proc get_grub2_dir { } {
if {![file exists $grub2_path]} { if {![file exists $grub2_path]} {
puts "" puts ""
puts "GRUB2 binaries are missing." puts "Port not prepared or outdated:"
puts "You can download the GRUB2 binaries by invoking:" puts " grub2"
puts "\ttool/ports/prepare_port grub2" puts ""
puts "You can prepare respectively update it as follows:"
puts " [genode_dir]/tool/ports/prepare_port grub2"
puts "" puts ""
exit 1 exit 1
} }
return $grub2_path return $grub2_path
} }