Searched refs:rel_file (Results 1 – 2 of 2) sorted by relevance
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"[all...]
169 rel_file = os.path.relpath(__file__, os.getcwd())