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

run: improve error message on missing recipe

This commit is contained in:
Christian Helmuth 2019-06-04 15:48:10 +02:00
parent 1f77f37310
commit be4d8b24e2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/depot.inc
View File

@ -165,7 +165,7 @@ proc _current_depot_archive_version { type name } {
set repo [repository_contains $hash_rel_path]
if {$repo == ""} {
puts stderr "Error: unable to guess version of '$name' archive"
puts stderr "Error: recipe for '$type/$name' not found - unable to guess version"
exit 1
}