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

run: prevent duplicates in missing archive warning

Browse Source
This commit is contained in:
Martin Stein
2018-10-30 00:05:38 +01:00
committed by Christian Helmuth
parent 941f785b7f
commit ee91d7339c
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/depot.inc
View File

@@ -296,6 +296,8 @@ proc check_for_missing_depot_archives { } {
set local_user_archives {} set local_user_archives {}
set foreign_archives {} set foreign_archives {}
set _missing_depot_archives [lsort -unique $_missing_depot_archives]
foreach archive $_missing_depot_archives { foreach archive $_missing_depot_archives {
set user [lindex $archive 0] set user [lindex $archive 0]