Don't fail in dev_setup.sh if mimic fails to check version

pull/1623/head
Matthew D. Scholefield 2018-06-01 17:19:09 -05:00
parent 321807b1f1
commit aa3839b24e
1 changed files with 2 additions and 2 deletions

View File

@ -141,13 +141,13 @@ else
# first, look for a build of mimic in the folder
has_mimic=""
if [[ -f ${TOP}/mimic/bin/mimic ]] ; then
has_mimic=$( ${TOP}/mimic/bin/mimic -lv | grep Voice )
has_mimic=$( ${TOP}/mimic/bin/mimic -lv | grep Voice ) || true
fi
# in not, check the system path
if [ "$has_mimic" = "" ] ; then
if [ -x "$(command -v mimic)" ]; then
has_mimic="$( mimic -lv | grep Voice )"
has_mimic="$( mimic -lv | grep Voice )" || true
fi
fi