config/debug/dmalloc.in
changeset 1534 d4ddf19a1968
parent 916 68af6b83ff7e
child 1535 073d351bdcd3
     1.1 --- a/config/debug/dmalloc.in	Fri Oct 10 14:30:44 2008 +0000
     1.2 +++ b/config/debug/dmalloc.in	Sun Sep 13 17:51:33 2009 +0200
     1.3 @@ -7,22 +7,22 @@
     1.4      bool
     1.5      prompt "dmalloc version"
     1.6  
     1.7 +config DMALLOC_V_5_5_2
     1.8 +    bool
     1.9 +    prompt "5.5.2"
    1.10 +
    1.11  config DMALLOC_V_5_4_3
    1.12      bool
    1.13      prompt "5.4.3 (OBSOLETE)"
    1.14      depends on OBSOLETE
    1.15  
    1.16 -config DMALLOC_V_5_5_2
    1.17 -    bool
    1.18 -    prompt "5.5.2"
    1.19 -
    1.20  # CT_INSERT_VERSION_ABOVE
    1.21  # Don't remove above line!
    1.22  endchoice
    1.23  
    1.24  config DMALLOC_VERSION
    1.25      string
    1.26 +    default "5.5.2" if DMALLOC_V_5_5_2
    1.27      default "5.4.3" if DMALLOC_V_5_4_3
    1.28 -    default "5.5.2" if DMALLOC_V_5_5_2
    1.29  # CT_INSERT_VERSION_STRING_ABOVE
    1.30  # Don't remove above line!