Index: Makefile
===================================================================
--- Makefile	(revision efb94a77e3094dd70870fe340c3efdf55682f60f)
+++ Makefile	(revision 5792d6e8f9a1b96afd4602a1462efbc3b3a44d8f)
@@ -91,4 +91,7 @@
 	$(CONFIG) $<
 
+random-config: $(CONFIG_RULES)
+	$(CONFIG) $< random
+
 # Release files