Searched refs:INFILE1 (Results 1 – 1 of 1) sorted by relevance
127 if test "x$INFILE1" = "x"; then128 INFILE1="$1";140 if test "x$INFILE1" = "x" -o "x$INFILE2" = "x"; then151 strip_dump "$INFILE1" "$TEMP1" "$@" || fatal "Could not dump '${INFILE1}."158 strip_dump "$INFILE1" "$TEMP1" "$@" &