Index: contrib/tools/random_check.sh
===================================================================
--- contrib/tools/random_check.sh	(revision 9f40318f557a0b22171f1997b93f4193b9af8ae8)
+++ contrib/tools/random_check.sh	(revision 2a7749d7cdfe920a4293c37d0e5d6658e7c6f75d)
@@ -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)