From ee91d7339ca1baad7ec1a2588ce181bc870554cf Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 30 Oct 2018 00:05:38 +0100
Subject: [PATCH] run: prevent duplicates in missing archive warning

---
 tool/run/depot.inc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tool/run/depot.inc b/tool/run/depot.inc
index b20fa259b1..68de9ffdef 100644
--- a/tool/run/depot.inc
+++ b/tool/run/depot.inc
@@ -296,6 +296,8 @@ proc check_for_missing_depot_archives { } {
 	set local_user_archives {}
 	set foreign_archives {}
 
+	set _missing_depot_archives [lsort -unique $_missing_depot_archives]
+
 	foreach archive $_missing_depot_archives {
 
 		set user    [lindex $archive 0]