diff -r eeea35fbf182 -r 068dce39f687 config/cc_gcc.in
--- a/config/cc_gcc.in	Sat Feb 24 11:00:05 2007 +0000
+++ b/config/cc_gcc.in	Sun Mar 04 22:56:04 2007 +0000
@@ -92,6 +92,10 @@
     bool
     prompt "4.1.1"
 
+config CC_V_4_1_2
+    bool
+    prompt "4.1.2"
+
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
 endchoice
@@ -120,6 +124,7 @@
     default "4.0.4" if CC_V_4_0_4
     default "4.1.0" if CC_V_4_1_0
     default "4.1.1" if CC_V_4_1_1
+    default "4.1.2" if CC_V_4_1_2
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!