ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tool/run: improve depot/create suggestion 

When a pkg is missing, the user should create <arch>/pkg instead
of only the missing pkg. This way, all depending binaries are created in
one step. Otherwise the missing binaries are detected at the next time
the run script is executed. This patch relieves the user from iterating
manually.
This commit is contained in:
Norman Feske 2018-03-15 10:39:20 +01:00 committed by Christian Helmuth
parent 579ca1063c
commit eaa412022f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tool/run/depot.inc
View File

@ -316,8 +316,8 @@ proc check_for_missing_depot_archives { } {
}
set path "$user/$type/$name"
if {$type == "bin"} {
set path "$user/bin/$spec/$name" }
if {$type == "bin" || $type == "pkg"} {
set path "$user/$type/$spec/$name" }
puts stderr " $path/$version"