Searched refs:PATCHED_DIR (Results 1 – 1 of 1) sorted by relevance
41 PATCHED_DIR="$TMP_DIR/2-patched"444 [[ -f "$PATCHED_DIR/.complete" ]] || die "-S $SHORT_CIRCUIT requires completed $PATCHED_DIR"613 # Copy all changed objects to $PATCHED_DIR619 rm -rf "$PATCHED_DIR"620 mkdir -p "$PATCHED_DIR"633 local patched_file="$PATCHED_DIR/$rel_file"648 mv -f "$TMP_DIR/build.log" "$PATCHED_DIR"649 touch "$PATCHED_DIR/.complete"740 local patched_log="$PATCHED_DIR/checksu[all...]