From 0c4d642ac7cc127d1ce5c1e611bb247fcf4d2633 Mon Sep 17 00:00:00 2001 From: Andrew Schwartzmeyer Date: Tue, 12 Jan 2016 12:06:42 -0800 Subject: [PATCH] Remove deprecated patch script Patching System.Console manually is no longer required. --- patch.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 patch.sh diff --git a/patch.sh b/patch.sh deleted file mode 100755 index 4d946f375b..0000000000 --- a/patch.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/usr/bin/env bash - -dotnet restore -echo Patching System.Console.dll -curl -fLo \ - ~/.dnx/packages/System.Console/4.0.0-rc2-23616/ref/dotnet5.4/System.Console.dll \ - 'https://github.com/andschwa/corefx/raw/cc1ad3b33318c44d6c615d449b2db7b1715e8e60/System.Console.dll'