Searched refs:exe_path (Results 1 – 1 of 1) sorted by relevance
197 exe_path=$exe_dir/$exe_name204 if [[ ! -e "$exe_path" ]]; then205 touch $exe_path206 chmod 755 $exe_path207 echo "Created $exe_path"209 echo "Warning: '$exe_path' already exists, will not create it"