fix missing PKG_NAME

[openwrt.git] / toolchain / gcc / Config.in

diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in
index f5f27c6..55ab7e5 100644 (file)
--- a/toolchain/gcc/Config.in
+++ b/toolchain/gcc/Config.in
@@ -32,6 +32,9 @@ choice
        config GCC_VERSION_4_1_1
                bool "gcc 4.1.1"
 
+       config GCC_VERSION_4_2
+               bool "gcc 4.2 (20060709)"
+
 endchoice
 
 config EXTRA_GCC_CONFIG_OPTIONS