Searched refs:PATCHED_DIR (Results 1 – 1 of 1) sorted by relevance
41 PATCHED_DIR="$TMP_DIR/2-patched"447 [[ -f "$PATCHED_DIR/.complete" ]] || die "-S $SHORT_CIRCUIT requires completed $PATCHED_DIR"621 # Copy all changed objects to $PATCHED_DIR627 rm -rf "$PATCHED_DIR"628 mkdir -p "$PATCHED_DIR"641 local patched_file="$PATCHED_DIR/$rel_file"656 mv -f "$TMP_DIR/build.log" "$PATCHED_DIR"657 touch "$PATCHED_DIR/.complete"750 local patched_log="$PATCHED_DIR/checksu[all...]