diff options
-rwxr-xr-x | ping-he-tb | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -34,6 +34,12 @@ main () { done | sort -g } +which ping > /dev/null 2> /dev/null +if [ $? -ne 0 ]; then + echo "ping not found." >&2 + exit 1 +fi + set -e TMPDIR=$(mktemp -d) set +e |