config/toolchain.in
changeset 935 e175e3538310
parent 803 1787813fc62a
child 1041 2573519c00d6
     1.1 --- a/config/toolchain.in	Thu Aug 21 13:12:35 2008 +0000
     1.2 +++ b/config/toolchain.in	Tue Oct 14 21:30:27 2008 +0000
     1.3 @@ -15,6 +15,7 @@
     1.4  config SHARED_LIBS
     1.5      bool
     1.6      prompt "Build shared libraries"
     1.7 +    depends on ! BARE_METAL
     1.8      default y
     1.9      help
    1.10        Say 'y' here, unless you don't want shared libraries.