Searched refs:ORIG_MERGE_FILE (Results 1 – 1 of 1) sorted by relevance
136 for ORIG_MERGE_FILE in $MERGE_LIST ; do137 echo "Merging $ORIG_MERGE_FILE"138 if [ ! -r "$ORIG_MERGE_FILE" ]; then139 echo "The merge file '$ORIG_MERGE_FILE' does not exist. Exit." >&2145 *" $ORIG_MERGE_FILE "*)146 ${WARNOVERRIDE} "WARNING: Input file provided multiple times: $ORIG_MERGE_FILE"263 "$ORIG_MERGE_FILE" "$TMP_FILE"; then268 PROCESSED_FILES="$PROCESSED_FILES $ORIG_MERGE_FILE"