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