diff options
author | Ali Saidi <saidi@eecs.umich.edu> | 2007-04-30 13:07:05 -0400 |
---|---|---|
committer | Ali Saidi <saidi@eecs.umich.edu> | 2007-04-30 13:07:05 -0400 |
commit | e77aa3d21215de75aeeb0961a2440b87a01d3dc6 (patch) | |
tree | 24159bb5f8146c5872f3aed0f205204d07ac7c7f /configs | |
parent | 1c243d66a2e54f66c4192b33b3d194c35df4cf5c (diff) | |
download | gem5-e77aa3d21215de75aeeb0961a2440b87a01d3dc6.tar.xz |
make ping actually end
--HG--
extra : convert_revision : 6932d050a821abc7871bc73051688a986dcea364
Diffstat (limited to 'configs')
-rw-r--r-- | configs/boot/ping-client.rcS | 2 |
1 files changed, 1 insertions, 1 deletions
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 |