Searched refs:JASMIN (Results 1 – 2 of 2) sorted by relevance
243 echo ${JASMIN} -d "$out_directory" "${jasmin_sources[@]}"244 ${JASMIN} -d "$out_directory" "${jasmin_sources[@]}"246 ${JASMIN} -d "$out_directory" "${jasmin_sources[@]}" >/dev/null
65 if [ -z "$JASMIN" ]; then66 export JASMIN="jasmin"