From eaa412022fe391d08ddfc1a2417d69b2f181fd9e Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 15 Mar 2018 10:39:20 +0100
Subject: [PATCH] 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.
---
 tool/run/depot.inc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tool/run/depot.inc b/tool/run/depot.inc
index c9b5827b8..2fd821911 100644
--- a/tool/run/depot.inc
+++ b/tool/run/depot.inc
@@ -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"