boogie test fix

Thomas-guo007 · Sep 22, 2021 · c3aa936 · c3aa936
1 parent 4477bf2
commit c3aa936
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/dev_setup.sh b/scripts/dev_setup.sh
@@ -458,7 +458,7 @@ function install_dotnet {
 function install_boogie {
   echo "Installing boogie"
   mkdir -p "${DOTNET_INSTALL_DIR}tools/" || true
-  if [[ "$("${DOTNET_INSTALL_DIR}dotnet" tool list -g)" =~ .*boogie.*${BOOGIE_VERSION}.* ]]; then
+  if [[ "$("${DOTNET_INSTALL_DIR}dotnet" tool list --tool-path "${DOTNET_INSTALL_DIR}tools/")" =~ .*boogie.*${BOOGIE_VERSION}.* ]]; then
     echo "Boogie $BOOGIE_VERSION already installed"
   else
     "${DOTNET_INSTALL_DIR}dotnet" tool update --tool-path "${DOTNET_INSTALL_DIR}tools/" Boogie --version $BOOGIE_VERSION