@ -14,9 +14,7 @@ if [ -z "$1" ]; then
exit 1
fi
LINE=$(egrep "^$FILE " "$DESCRIPTIONS")
if [ $? -ne 0 ]; then
if ! LINE=$(grep -E "^$FILE " "$DESCRIPTIONS"); then
echo "Unknown file $FILE"