diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run
index 196682972..aec914354 100644
--- a/repos/os/run/ping_nic_router.run
+++ b/repos/os/run/ping_nic_router.run
@@ -19,7 +19,7 @@ proc gpio_drv { } { if {[have_spec rpi] && [have_spec hw]}  { return hw_gpio_drv
 
 lappend_if [have_spec gpio] build_components drivers/gpio
 
-if {[have_spec foc] || [have_spec odroid_xu] ||
+if {[have_spec foc] || [have_spec odroid_xu] || [have_spec linux] ||
     [expr [have_spec imx53] && [have_spec trustzone]]} {
 	puts "Run script is not supported on this platform."
 	exit 0