Index: contrib/tools/random_check.sh
===================================================================
--- contrib/tools/random_check.sh	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ contrib/tools/random_check.sh	(revision 9be2358aadbef3865ee2b3ab546d8b1f56d79cd6)
@@ -50,6 +50,4 @@
 		;;
 	s)
-		echo "COMPILER=gcc_native" >>"$PRUNE_CONFIG_FILE"
-		echo "COMPILER=gcc_helenos" >>"$PRUNE_CONFIG_FILE"
 		;;
 	*|h)