Searched refs:INPUT_FILE (Results 1 – 2 of 2) sorted by relevance
10 INPUT_FILE=$139 elif [ ! -f ${INPUT_FILE} ]; then40 echo "ERROR: No ${INPUT_FILE}"47 dos2unix ${INPUT_FILE}54 grep '\[< ' ${INPUT_FILE} | grep '>\]' | grep [PC,LR] | while read line86 grep '\[< ' ${INPUT_FILE} | grep '>\]' | grep -v [PC,LR] | while read line114 line=`grep '\[< ' ${INPUT_FILE} | grep '>\]' | grep [PC]`
50 <IMAGE_FLAG> <INPUT_FILE> <OUTPUT_FILE> <SPL_LOAD_ADDR>61 <INPUT_FILE> is the full path and filename of the public world boot76 <INPUT_FILE>82 <IMAGE_FLAG> <INPUT_FILE> <OUTPUT_FILE> <SPL_LOAD_ADDR>93 <INPUT_FILE> is the full path and filename of the public world boot106 <INPUT_FILE>111 create-boot-image.sh <IMAGE_TYPE> <INPUT_FILE> <OUTPUT_FILE>121 <INPUT_FILE> is the full path and filename of the public world boot140 <UNUSED> <INPUT_FILE> <OUTPUT_FILE> <UNUSED>144 <INPUT_FILE> is the full path and filename of the public world boot[all …]