From cc50359f41cd2e79439613478ee10883f35fcddd Mon Sep 17 00:00:00 2001
From: prndev <prndev@users.noreply.github.com>
Date: Sun, 4 Mar 2018 22:52:41 +0100
Subject: [PATCH] compile: sanity check now optional

---
 compile | 21 ++++++++++++++++++---
 1 file changed, 18 insertions(+), 3 deletions(-)

diff --git a/compile b/compile
index bdc095afe68..1a35d073a5a 100755
--- a/compile
+++ b/compile
@@ -1,12 +1,27 @@
 #!/bin/bash
 
+while [[ "$1" ]]
+do
+	case $1 in
+	--insane)
+		insane="true"
+	;;
+	*)
+		echo "Unknown argument $1"
+		exit 1
+	esac
+	shift
+done
+
 # Find and insert current commit
 COMMIT=$(git rev-parse --short HEAD)
 sed -Ei "s/build .releaseID/\0 commit $COMMIT/" src/gui/mainMenu/AlphaDisclaimer.tw
 
-
-# Run sanity check.
-./sanityCheck
+if [[ ! "$insane" ]]
+then
+	# Run sanity check.
+	./sanityCheck
+fi
 
 ARCH="$(uname -m)"
 if [ "$ARCH" = "x86_64" ]
-- 
GitLab