Searched refs:path_file_dir (Results 1 – 2 of 2) sorted by relevance
33 path_file_dir=$338 echo "path_file_dir: $path_file_dir"40 if [ "$source_dir" == "" ] || [ "$out_dir" == "" ] || [ "$path_file_dir" == "" ]; then65 ls -l $path_file_dir/*.diff71 PATCH_FILE=$(realpath $(ls $path_file_dir/*.diff | tail -n 1))79 echo "patch fail. path_file_dir=$path_file_dir"