X-Git-Url: https://bearssl.org/gitweb//home/git/?p=BearSSL;a=blobdiff_plain;f=mkT0.sh;fp=mkT0.sh;h=0000000000000000000000000000000000000000;hp=61de5c6e63c506672723f069d8576ddeeb8938ec;hb=3f00688b9d9f483a6ca97e659eea104995ea15b7;hpb=2f454aad577ae53798935cc32438a2d3f02ba31f

diff --git a/mkT0.sh b/mkT0.sh
deleted file mode 100755
index 61de5c6..0000000
--- a/mkT0.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#! /bin/sh
-
-CSC=$(which mono-csc || which dmcs || echo "none")
-
-if [ $CSC = "none" ]; then
-	echo "Error: Please install mono-devel."
-	exit 1
-fi
-
-set -e
-$CSC /out:T0Comp.exe /main:T0Comp /res:T0/kern.t0,t0-kernel T0/*.cs