make ping actually end
authorAli Saidi <saidi@eecs.umich.edu>
Mon, 30 Apr 2007 17:07:05 +0000 (13:07 -0400)
committerAli Saidi <saidi@eecs.umich.edu>
Mon, 30 Apr 2007 17:07:05 +0000 (13:07 -0400)
--HG--
extra : convert_revision : 6932d050a821abc7871bc73051688a986dcea364

configs/boot/ping-client.rcS

index 260ff42e07e35d4390bdec1c5dec53e25b1cc6e2..a147fb2458e94011865bf9ded722c7647d8c443e 100644 (file)
@@ -21,5 +21,5 @@ echo "100000" > /proc/sys/net/core/netdev_max_backlog
 echo -n "waiting for server..."
 netcat -c -l -p 8000
 
-ping $SERVER
+ping -c 5 $SERVER
 /sbin/m5 exit