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

ping: exit run script on not supported platforms

Browse Source 
Fixes #2756.
This commit is contained in:
Josef Söntgen
2018-04-11 14:28:28 +02:00
committed by Christian Helmuth
parent 1261c18ce9
commit 505ff0bb11
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/run/ping.run
View File

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

2
repos/os/run/ping_nic_router.run
View File

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