Index: contrib/tools/random_check.sh
===================================================================
--- contrib/tools/random_check.sh	(revision e36a1c2b1bd621aa00e4cca44a8c67a5736b2cf2)
+++ contrib/tools/random_check.sh	(revision 3b065c910c94ce4ab22d45d77bb2db63ebe7151c)
@@ -38,5 +38,5 @@
 echo -n "">"$PRUNE_CONFIG_FILE"
 
-while getopts n:j:x: option; do
+while getopts n:j:x:sS option; do
 	case $option in
 	n)
@@ -49,6 +49,16 @@
 		echo "$OPTARG" | tr -d ' ' >>"$PRUNE_CONFIG_FILE"
 		;;
+	s|S)
+		echo "COMPILER=gcc_native" >>"$PRUNE_CONFIG_FILE"
+		echo "COMPILER=gcc_helenos" >>"$PRUNE_CONFIG_FILE"
+		echo "COMPILER=icc" >>"$PRUNE_CONFIG_FILE"
+		if [ "$option" = "S" ]; then
+			echo "CONFIG_PCC=y" >>"$PRUNE_CONFIG_FILE"
+			echo "CONFIG_BINUTILS=y" >>"$PRUNE_CONFIG_FILE"
+			echo "CONFIG_MSIM=y" >>"$PRUNE_CONFIG_FILE"
+		fi
+		;;
 	*)
-		echo "Usage: $0 [-n loops] [-j paralellism] [-x excluded option [-x ...]]"
+		echo "Usage: $0 [-n loops] [-j paralellism] [-s] [-S] [-x excluded option [-x ...]]"
 		exit 1
 		;;