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: exit gracefully if depot/create failed

Browse Source 
With --depot-auto-update enabled, the run tool calls the depot/create
tool, which in principle may fail. In this case, print a diagnostic info
instead of a backtrace.

Issue #5379
This commit is contained in:
Norman Feske
2024-11-11 15:26:06 +01:00
committed by Christian Helmuth
parent 1f225b4b6f
commit 7fb702a0d9
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tool/run/depot.inc
View File

@@ -233,7 +233,10 @@ proc _depot_auto_update { archives } {
puts "update depot: $cmd" puts "update depot: $cmd"
exec {*}$cmd >@ stdout 2>@ stderr if {[catch {exec {*}$cmd >@ stdout 2>@ stderr}]} {
puts stderr "\nError: tool/depot/create during depot-auto-update failed\n"
exit 1
}
} }