From 93d431a831d20ee1d2bfc23feb7a3209f2b3dad8 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 7 Jan 2022 12:03:04 +0100
Subject: [PATCH] tool/run: skip build if build-target list is empty

This patch prevents the run tool from issuing 'make' in the build
directory if no build targets are specified, which prompts the build
system to build everything.
---
 tool/run/run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tool/run/run b/tool/run/run
index 4e08e8e708..43f27c4ec5 100755
--- a/tool/run/run
+++ b/tool/run/run
@@ -44,6 +44,8 @@ proc assert_spec {spec} {
 #
 proc build {targets} {
 
+	if {[llength $targets] == 0} return
+
 	if {[get_cmd_switch --skip-build]} return
 
 	regsub -all {\s\s+} $targets " " targets