#!/bin/sh if [ $?CDS_INST_DIR = 0 ] ; then echo please specify CDS_INST_DIR exit 0 fi if [ $#ARGV -lt 1 ] ; then echo usage: $0 outputfile exit 0 fi outputfile=$1.edf if [ -f $1.edf ] then awk -f .awkCmd $1.edf > $1.edif else echo "*Error* File $1.edf does not exist" exit 1 fi