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

doc: activate --depot-auto-update in getting_started.txt

Browse Source 
Also be more explicit about the command to "execute" if depot archives
are missing in depot.inc.
This commit is contained in:
Christian Helmuth
2020-09-03 09:24:38 +02:00
parent 17a6318ad6
commit ff82dc1ad5
2 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tool/run/depot.inc
View File

@@ -444,12 +444,12 @@ proc check_for_missing_depot_archives { } {
if {[llength $local_user_archives]} {
append create_args " CROSS_DEV_PREFIX=[cross_dev_prefix]"
puts stderr "You may create the following archives locally:\n"
puts stderr "You may create the following archives locally by executing:\n"
puts stderr " [genode_dir]/tool/depot/create $local_user_archives$create_args\n"
}
if {[llength $foreign_archives]} {
puts stderr "You may try to download the following archives:\n"
puts stderr "You may try to download the following archives by executing:\n"
puts stderr " [genode_dir]/tool/depot/download $foreign_archives\n"
}