Searched refs:pid_dir (Results 1 – 1 of 1) sorted by relevance
190 pid_dir=$OUT_DIR/$pid191 if [[ ! -d "$pid_dir" ]]; then192 mkdir "$pid_dir"196 intermediates_dir=$pid_dir/intermediates197 results_dir=$pid_dir/results198 logcat_pid_file=$pid_dir/logcat