cgd 026efaa662 replace "/sbin/ping -c 2 %s" with "/sbin/ping -v -c 5 -w 5 -o -n %s".
Shouldn't bother doing DNS lookups or wait a really long time,
should display verbose output and quit after the host has been
successfully pinged even once.  count bumped up to 5 to give boards
which take a while to do media autoselection time to do their thing.
1999-06-24 00:16:49 +00:00
..
1999-06-12 11:24:35 +00:00
1999-06-23 09:09:44 +00:00