From fdcbc0f2eb51107ea2acecd7ddfe3c9139664abd Mon Sep 17 00:00:00 2001
From: Cesar Blum Silveira <cesars@microsoft.com>
Date: Fri, 29 Jan 2016 04:00:48 -0800
Subject: [PATCH] Handle --version in dotnet-install.sh.

---
 KoreBuild-dotnet/build/dotnet-install.sh | 4 ++++
 1 file changed, 4 insertions(+)

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