From 110ca25e1baa0d4d5d523656117862e41894eb6b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 12 Jun 2019 11:06:27 -0700
Subject: [PATCH] change to FindDotnet.cmake thanks to @yatli

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 cmake/modules/FindDotnet.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cmake/modules/FindDotnet.cmake b/cmake/modules/FindDotnet.cmake
index 00d1f6269..be328345f 100644
--- a/cmake/modules/FindDotnet.cmake
+++ b/cmake/modules/FindDotnet.cmake
@@ -158,7 +158,7 @@ FUNCTION(DOTNET_REGISTER_LOCAL_REPOSITORY repo_name repo_path)
     ELSE()
         GET_FILENAME_COMPONENT(nuget_config ~/.nuget/NuGet/NuGet.Config ABSOLUTE)
         EXECUTE_PROCESS(COMMAND ${DOTNET_EXE} nuget locals all --list OUTPUT_QUIET)
-        EXECUTE_PROCESS(COMMAND sed -i "/${repo_name}/d" "${nuget_config}")
+        EXECUTE_PROCESS(COMMAND sed -i "#${repo_name}#d" "${nuget_config}") 
         EXECUTE_PROCESS(COMMAND sed -i "s#</packageSources>#  <add key=\\\"${repo_name}\\\" value=\\\"${repo_path}\\\" />\\n  </packageSources>#g" "${nuget_config}")
     ENDIF()
 ENDFUNCTION()