#!/bin/sh
# Ping a list of hosts, and report the results.
#
if [ $# -lt 1 ]
then set ogo95 ogo92 ford decnms1 sg cv alliant prime ogo96 ogo91 nac73 nac72 nac71
fi
for H
do	echo -n ping $H=`ipadr $H`'	'
	/usr/local/nm/ping $H
done