Searched refs:FILE_ARG (Results 1 – 2 of 2) sorted by relevance
246 FILE_ARG=${commandline[i + 1]}247 if [ ! -f "$FILE_ARG" ]; then248 echo "ERROR: configuration file '$FILE_ARG' not found" >&2251 case "$FILE_ARG" in253 PLATFORM_CONFIG="-c $FILE_ARG"256 PLATFORM_CONFIG="-c `readlink -f \"$FILE_ARG\"`"259 echo "Platform config file: '$FILE_ARG'"
265 FILE_ARG=${commandline[i + 1]}266 if [ ! -f "$FILE_ARG" ]; then267 echo "ERROR: configuration file '$FILE_ARG' not found" >&2270 case "$FILE_ARG" in272 PLATFORM_CONFIG="-c $FILE_ARG"275 PLATFORM_CONFIG="-c `readlink -f \"$FILE_ARG\"`"278 echo "Platform config file: '$FILE_ARG'"