config/debug/dmalloc.in
changeset 894 c444ce4b51b9
parent 330 447b203edc2e
child 916 68af6b83ff7e
     1.1 --- a/config/debug/dmalloc.in	Tue Aug 14 20:11:44 2007 +0000
     1.2 +++ b/config/debug/dmalloc.in	Wed Oct 01 18:10:40 2008 +0000
     1.3 @@ -4,6 +4,7 @@
     1.4      bool
     1.5      prompt "dmalloc"
     1.6      default n
     1.7 +    depends on ! BARE_METAL
     1.8  
     1.9  if DMALLOC
    1.10