diff options
| author | Albert Cheng <acheng@hdfgroup.org> | 2003-09-18 17:22:54 (GMT) |
|---|---|---|
| committer | Albert Cheng <acheng@hdfgroup.org> | 2003-09-18 17:22:54 (GMT) |
| commit | 2e3693aa8be42bfd1d30adda1dd3b278c9d450ec (patch) | |
| tree | 66fb831c10ed3d6016e0e2f7c0abd1ee69712f27 | |
| parent | a7ef15584e09c187e84489aef021e4a328b2c026 (diff) | |
| download | hdf5-2e3693aa8be42bfd1d30adda1dd3b278c9d450ec.zip hdf5-2e3693aa8be42bfd1d30adda1dd3b278c9d450ec.tar.gz hdf5-2e3693aa8be42bfd1d30adda1dd3b278c9d450ec.tar.bz2 | |
[svn-r7488] Purpose:
Improvement
Description:
The -w timeout option is not supported by all hosts.
Added the "ping -c 3" possible PING command.
Platforms tested:
Tested in eirene by hand only.
Misc. update:
| -rwxr-xr-x | bin/runtest | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/bin/runtest b/bin/runtest index d746676..20f4a83 100755 --- a/bin/runtest +++ b/bin/runtest @@ -153,13 +153,17 @@ PRINT_TRAILER() CHECK_RSH() { # Figure out how to use ping command in this host. - # Some hosts use "ping host count", some use "ping -c count host" - # Test "ping -c ..." style first because some '-c' machines treat - # the command 'ping localhost 3' means to ping host '3'. + # Some hosts use "ping host count", some use "ping -c count host". + # Test "ping -c 3 -w 5" since it has timeout feature. + # Test "ping -c ..." style before "ping host 3" because some machines + # that recognize -c treat 'ping localhost 3' as to ping host '3'. if [ -z "$PING" ]; then if ping -c 3 -w 5 localhost >/dev/null 2>&1; then PING='ping -c 3 -w 5' PINGCOUNT= + elif ping -c 3 localhost >/dev/null 2>&1; then + PING='ping -c 3' + PINGCOUNT= elif ping localhost 3 >/dev/null 2>&1; then PING=ping PINGCOUNT=3 |