From 9a80c3a61822b7c830629ca069057b3886ddc642 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 29 Sep 2021 11:20:42 +0200
Subject: [PATCH] depot: suppress error when copying empty package

Instead of failing, ignore empty packages when copying over
depot packages to a run-script environment.

Fix #4271
---
 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 4fd774753e..79feadbc30 100644
--- a/tool/run/depot.inc
+++ b/tool/run/depot.inc
@@ -108,7 +108,7 @@ proc _copy_directory_content_to_run_dir { dir } {
 		exit 1
 	}
 
-	foreach file [glob -directory $dir *] { copy_file $file [run_dir]/genode/ }
+	foreach file [glob -nocomplain -directory $dir *] { copy_file $file [run_dir]/genode/ }
 }