config/debug/dmalloc.in
changeset 850 ef8549b58b6f
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	Sun Sep 14 16:21:07 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