#!/bin/sh if ! getipmi.awk 301 > /dev/null 2>&1; then let i=400 for srv in `cat /tmp/dhcpserver`; do if getipmi.awk $i > /dev/null 2>&1 ; then exit fi let i=i+1 done fi