From e77aa3d21215de75aeeb0961a2440b87a01d3dc6 Mon Sep 17 00:00:00 2001
From: Ali Saidi <saidi@eecs.umich.edu>
Date: Mon, 30 Apr 2007 13:07:05 -0400
Subject: [PATCH] make ping actually end

--HG--
extra : convert_revision : 6932d050a821abc7871bc73051688a986dcea364
---
 configs/boot/ping-client.rcS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/boot/ping-client.rcS b/configs/boot/ping-client.rcS
index 260ff42e0..a147fb245 100644
--- a/configs/boot/ping-client.rcS
+++ b/configs/boot/ping-client.rcS
@@ -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