diff --git a/vivado-wrapper b/vivado-wrapper index b084bc8f7abe44310778f608e1c1d6507c8d9d90..4c6685ae45cebfa8eb2f22d8b83dfcd98d0155c3 100755 --- a/vivado-wrapper +++ b/vivado-wrapper @@ -3,7 +3,7 @@ _vw_bin_name="$0" _vw_version_major="1" -_vw_version_minor="5" +_vw_version_minor="6" _vw_version_ext="" _vw_version="${_vw_version_major}.${_vw_version_minor}${_vw_version_ext}" @@ -91,7 +91,7 @@ function where_is_him () { function where_am_i () { _my_path=`type -p ${_vw_bin_name}` - where_is_him "$_my_path" + [[ "$_my_path" = "" ]] && where_is_him "$_vw_bin_name" || where_is_him "$_my_path" } function naive_opt () {