diff --git a/repos/os/run/ping.run b/repos/os/run/ping.run index bd20208a06..bac1017a77 100644 --- a/repos/os/run/ping.run +++ b/repos/os/run/ping.run @@ -4,7 +4,7 @@ if {![have_include power_on/qemu]} { puts "Run script is only supported on Qemu" - return 0 + exit 0 } set build_components { diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run index 32c57f6e1a..f933e36faf 100644 --- a/repos/os/run/ping_nic_router.run +++ b/repos/os/run/ping_nic_router.run @@ -4,7 +4,7 @@ if {![have_include power_on/qemu]} { puts "Run script is only supported on Qemu" - return 0 + exit 0 } set build_components {