Lines Matching refs:DIFF_DIR
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_DIR
697 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" -type f -name "*.o" | mapfile -t files
837 local rel_file="${file#"$DIFF_DIR"/}"