diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run index 062738e86e..32c57f6e1a 100644 --- a/repos/os/run/ping_nic_router.run +++ b/repos/os/run/ping_nic_router.run @@ -63,6 +63,7 @@ append config { @@ -94,6 +95,7 @@ append config {