Searched refs:DIFF_DIR (Results 1 – 1 of 1) sorted by relevance
44 DIFF_DIR="$TMP_DIR/4-diff"51 KLP_DIFF_LOG="$DIFF_DIR/diff.log"454 [[ -f "$DIFF_DIR/.complete" ]] || die "-S $SHORT_CIRCUIT requires completed $DIFF_DIR"691 # Diff changed objects, writing output object to $DIFF_DIR697 rm -rf "$DIFF_DIR"698 mkdir -p "$DIFF_DIR"710 local out_file="$DIFF_DIR/$rel_file"742 touch "$DIFF_DIR/.complete"833 find "$DIFF_DIR" [all...]