Index: contrib/tools/random_check.sh
===================================================================
--- contrib/tools/random_check.sh	(revision b5f716bc90001ca89dfcaf04f82a2b4e1dd2e11e)
+++ contrib/tools/random_check.sh	(revision 5792d6e8f9a1b96afd4602a1462efbc3b3a44d8f)
@@ -46,5 +46,13 @@
 
 run_make() {
-	echo -n "  Building... " >&2
+	BASIC_CONFIG=`sed -n \
+		-e 's#PLATFORM = \(.*\)#\1#p' \
+		-e 's#MACHINE = \(.*\)#\1#p' \
+		-e 's#COMPILER = \(.*\)#\1#p' \
+		Makefile.config \
+		| paste '-sd,' | sed 's#,#, #g'`
+	
+	echo -n "  Building ($BASIC_CONFIG)... " >&2
+	
 	make -j$PARALLELISM 2>&1
 	if [ $? -eq 0 ]; then
@@ -52,13 +60,5 @@
 		return 0
 	else
-		(
-			echo -n "failed ("
-			sed -n \
-				-e 's#PLATFORM = \(.*\)#\1#p' \
-				-e 's#MACHINE = \(.*\)#\1#p' \
-				-e 's#COMPILER = \(.*\)#\1#p' \
-				Makefile.config \
-				| paste '-sd,' | sed -e 's#,#, #g' -e 's#.*#&).#'
-		) >&2
+		echo "failed." >&2
 		return 1
 	fi