From cf2c9f8d8868c0b050d4517d853ab89602dc00ef Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 13 Jun 2019 17:06:57 +0200
Subject: [PATCH] run: abort with error if BOARD was not set

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

diff --git a/tool/run/run b/tool/run/run
index 947930c217..7850ec0568 100755
--- a/tool/run/run
+++ b/tool/run/run
@@ -823,7 +823,7 @@ proc board { } {
 	global board_var
 	if {$board_var eq ""} {
 		puts "Unknown platform no BOARD variable set"
-		exit 0
+		exit 1
 	}
 	return $board_var
 }