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/ }
 }