Index: contrib/tools/random_check.sh
===================================================================
--- contrib/tools/random_check.sh	(revision 393302009dc835da26285d65656e166c29b4540f)
+++ contrib/tools/random_check.sh	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
@@ -155,5 +155,5 @@
 		cp Makefile.config "$FILENAME_PREFIX$COUNTER.Makefile.config"
 		cp config.h "$FILENAME_PREFIX$COUNTER.config.h"
-	fi	
+	fi
 done