Index: contrib/tools/random_check.sh
===================================================================
--- contrib/tools/random_check.sh	(revision 984f060d6e7c36495a88da6a600b588da1ab979b)
+++ contrib/tools/random_check.sh	(revision d75dc0561c7ce077e18de03f15c1afa664e05d5e)
@@ -52,5 +52,4 @@
 		echo "COMPILER=gcc_native" >>"$PRUNE_CONFIG_FILE"
 		echo "COMPILER=gcc_helenos" >>"$PRUNE_CONFIG_FILE"
-		echo "COMPILER=icc" >>"$PRUNE_CONFIG_FILE"
 		;;
 	*|h)