Lines Matching defs:config
5 default_filename='platforms.config'
16 value = config.get(args.platform, "EXTRA_FILES")
21 value = config.get(args.platform, "BUILD_ATF")
27 value = config.get(args.platform, "UEFI_BIN")
41 value = config.get(args.platform, args.option)
54 parser.add_argument('-c', '--config-file', help='Specify a non-default platform config file.', required=False)
65 config = ConfigParser.ConfigParser()
66 config.read(config_filename)
68 platforms = config.sections()
