yann@96: # Debug facilities menu
yann@96: 
yann@96: menu "Debug facilities"
yann@96: 
yann@96: source config/debug/gdb.in
yann@96: 
yann@96: endmenu