mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
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.
This commit is contained in:
parent
410cd9cfc4
commit
93d431a831
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user