Lines Matching defs:args
14 if args.platform:
16 value = config.get(args.platform, "EXTRA_FILES")
21 value = config.get(args.platform, "BUILD_ATF")
27 value = config.get(args.platform, "UEFI_BIN")
38 if args.platform:
39 if args.option:
41 value = config.get(args.platform, args.option)
59 args = parser.parse_args()
60 if args.config_file:
61 config_filename = args.config_file
76 retval = commands[args.command]()
78 print ("Unrecognized command '%s'" % args.command)
