Searched refs:PATCHED_DIR (Results 1 – 1 of 1) sorted by relevance
45 PATCHED_DIR="$TMP_DIR/patched"580 rm -rf "$PATCHED_DIR"581 mkdir -p "$PATCHED_DIR"594 local patched_file="$PATCHED_DIR/$rel_file"609 mv -f "$TMP_DIR/build.log" "$PATCHED_DIR"621 find "$PATCHED_DIR" -type f -name "*.o" | mapfile -t files628 local rel_file="${file#"$PATCHED_DIR"/}"630 local patched_file="$PATCHED_DIR/$rel_file"668 local patched_log="$PATCHED_DIR/checksum.log"702 cd "$PATCHED_DIR"[all …]