Searched refs:results_dir (Results 1 – 1 of 1) sorted by relevance
197 results_dir=$pid_dir/results312 results_dir=$results_dir"_"$BAKSMALI_NUM320 results_dir=$results_dir"_"$BAKSMALI_NUM324 if [[ ! -d "$results_dir" ]]; then325 mkdir "$results_dir"333 time_output=($results_dir/time_output_*.dat)341 -d "$results_dir" "${OFFSET_ARGS[@]}" "${baksmali_dmp_args[@]}" \363 'filename(n) = sprintf("'"$results_dir"'/time_output_%d.dat", n);