From 39cb114d609eb2209299391418936c59ffab63f1 Mon Sep 17 00:00:00 2001
From: Christoph Ruegg <git@cdrnet.ch>
Date: Sat, 9 May 2015 10:37:02 +0200
Subject: [PATCH] Build: add paket.sh file for simpler usage

---
 paket.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 paket.sh

diff --git a/paket.sh b/paket.sh
new file mode 100755
index 00000000..f271485e
--- /dev/null
+++ b/paket.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+if test "$OS" = "Windows_NT"
+then
+  # use .Net
+  [ ! -f tools/paket/paket.exe ] && tools/paket/paket.bootstrapper.exe
+  tools/paket/paket.exe $@
+else
+  # use mono
+  [ ! -f tools/paket/paket.exe ] && mono --runtime=v4.0 tools/paket/paket.bootstrapper.exe
+  mono --runtime=v4.0 tools/paket/paket.exe $@
+fi