diff --git a/compile b/compile
index bdc095afe6862075ab713e77eaf29a130dddd72b..1a35d073a5aa5d040fc7e1bf53d69570c3ac3829 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" ]