diff --git a/KoreBuild-dotnet/build/dotnet-install.sh b/KoreBuild-dotnet/build/dotnet-install.sh index f38bd0ce19..f1afbf15cb 100755 --- a/KoreBuild-dotnet/build/dotnet-install.sh +++ b/KoreBuild-dotnet/build/dotnet-install.sh @@ -251,6 +251,10 @@ do shift CHANNEL=$1 ;; + -v|--version) + shift + VERSION=$1 + ;; -d|--destination) shift DOTNET_INSTALL_DIR=$1