Searched refs:out_directory (Results 1 – 1 of 1) sorted by relevance
245 local out_directory="$1"249 mkdir -p "$out_directory"252 echo ${JASMIN} -d "$out_directory" "${jasmin_sources[@]}"253 ${JASMIN} -d "$out_directory" "${jasmin_sources[@]}"255 ${JASMIN} -d "$out_directory" "${jasmin_sources[@]}" >/dev/null