config/debug/gdb.in
changeset 3091 41967d32b54e
parent 3055 00ad3bbbf024
child 3137 14417fac6e9f
     1.1 --- a/config/debug/gdb.in	Fri Sep 21 16:14:50 2012 +0200
     1.2 +++ b/config/debug/gdb.in	Thu Oct 11 14:39:42 2012 +1000
     1.3 @@ -119,6 +119,13 @@
     1.4      bool
     1.5      prompt "6.8a"
     1.6  
     1.7 +config GDB_CUSTOM
     1.8 +    bool
     1.9 +    prompt "Custom gdb"
    1.10 +    depends on EXPERIMENTAL
    1.11 +    select GDB_7_0_or_later
    1.12 +    select GDB_7_2_or_later
    1.13 +
    1.14  endchoice
    1.15  
    1.16  config GDB_7_2_or_later
    1.17 @@ -152,5 +159,19 @@
    1.18      default "7.0.1a" if GDB_V_7_0_1a
    1.19      default "7.0a" if GDB_V_7_0a
    1.20      default "6.8a" if GDB_V_6_8a
    1.21 +    default "custom" if GDB_CUSTOM
    1.22 +
    1.23 +if GDB_CUSTOM
    1.24 +
    1.25 +config GDB_CUSTOM_LOCATION
    1.26 +    string
    1.27 +    prompt "Full path to custom gdb source"
    1.28 +    default ""
    1.29 +    help
    1.30 +      Enter the path to the directory (or tarball) of your source for gdb,
    1.31 +      or leave blank to use default CT_CUSTOM_LOCATION_ROOT_DIR/gdb
    1.32 +
    1.33 +endif # GDB_CUSTOM
    1.34  
    1.35  endif
    1.36 +