Lines Matching refs:rel_file
91 local rel_file="${file#"$PWD"/}"
95 mkdir -p "$STASH_DIR/$(dirname "$rel_file")"
96 cp -f "$file" "$STASH_DIR/$rel_file"
98 STASHED_FILES+=("$rel_file")
596 local rel_file="${_file/.ko/.o}"
597 local file="$PWD/$rel_file"
598 local orig_file="$ORIG_DIR/$rel_file"
630 local rel_file="${_file/.ko/.o}"
631 local file="$PWD/$rel_file"
632 local orig_file="$ORIG_DIR/$rel_file"
633 local patched_file="$PATCHED_DIR/$rel_file"
697 local rel_file="${file#"$PATCHED_CSUM_DIR"/}"
698 local orig_file="$rel_file"
699 local patched_file="$PATCHED_CSUM_DIR/$rel_file"
700 local out_file="$DIFF_DIR/$rel_file"
827 local rel_file="${file#"$DIFF_DIR"/}"
828 local orig_file="$ORIG_DIR/$rel_file"
830 local kmod_file="$KMOD_DIR/$rel_file"
843 echo -n " $rel_file" >> "$makefile"