Searched refs:out_directory (Results 1 – 1 of 1) sorted by relevance
236 local out_directory="$1"240 mkdir -p "$out_directory"243 echo ${JASMIN} -d "$out_directory" "${jasmin_sources[@]}"244 ${JASMIN} -d "$out_directory" "${jasmin_sources[@]}"246 ${JASMIN} -d "$out_directory" "${jasmin_sources[@]}" >/dev/null