denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

run: abort with error if BOARD was not set

Browse Source
This commit is contained in:
Christian Helmuth
2019-06-13 17:06:57 +02:00
parent 186c35bb09
commit cf2c9f8d88
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/run
View File

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