Index: contrib/tools/random_check.sh
===================================================================
--- contrib/tools/random_check.sh	(revision 723ce99543f7792b7b47b272c78524ba43abb665)
+++ contrib/tools/random_check.sh	(revision 99172baf0d435620d7706ea46a78d4f887c9742d)
@@ -38,5 +38,5 @@
 echo -n "">"$PRUNE_CONFIG_FILE"
 
-while getopts n:j:x:hsS option; do
+while getopts n:j:x:hs option; do
 	case $option in
 	n)
@@ -49,13 +49,8 @@
 		echo "$OPTARG" | tr -d ' ' >>"$PRUNE_CONFIG_FILE"
 		;;
-	s|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
 		;;
 	*|h)
@@ -72,7 +67,4 @@
 		echo "      Use only supported compilers."
 		echo "      (That is, only GCC cross-compiler and Clang.)"
-		echo "  -S"
-		echo "      Build only reasonable configurations."
-		echo "      (Implies -s, does not build ported programs.)"
 		echo "  -x CONFIG_OPTION=value"
 		echo "      Skip the configuration if this option is present."