Searched refs:WUMA (Results 1 – 1 of 1) sorted by relevance
29 local WUMA="$1"31 if [ ! -e "$WUMA" ]33 echo "$(basename $0) failed: $WUMA does not exist."36 if [ ! -f "$WUMA" ]38 echo "$(basename $0) failed: $WUMA is not a file."45 echo "$(basename $0) failed: $WUMA is not a wumad/wumat/wumap file."