From be4d8b24e26b58445548c2f8215ded442a926d50 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 4 Jun 2019 15:48:10 +0200
Subject: [PATCH] run: improve error message on missing recipe

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

diff --git a/tool/run/depot.inc b/tool/run/depot.inc
index 10d1556b34..eb9fbe814d 100644
--- a/tool/run/depot.inc
+++ b/tool/run/depot.inc
@@ -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
 	}