Merge branch 'compile_optional_sanity-check' into 'pregmod-master'

Add command line switch for disabling sanityCheck

See merge request pregmodfan/fc-pregmod!1559

compile

 #!/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" ]