yann@1: # Overall toolchain configuration: paths, jobs, etc...
yann@1: 
yann@1: menu "Paths and misc options"
yann@1: 
yann@446: source "config/global/ct-behave.in"
yann@694: source "config/global/paths.in"
yann@693: source "config/global/download.in"
yann@693: source "config/global/extract.in"
yann@446: source "config/global/build-behave.in"
yann@446: source "config/global/logging.in"
yann@1: 
yann@1: endmenu