Lines Matching refs:extension
53 # extensions - list of extension names to include.
231 # Options for loader extension source generator
252 # Options for loader extension source generator
506 makeGenOpts(extensions = args.extension,
532 # -extension name - may be a single extension name, a a space-separated list
537 parser.add_argument('-extension', action='append',
539 help='Specify an extension or extensions to add to targets')
542 help='Specify an extension or extensions to remove from targets')
575 args.extension = [name for arg in args.extension for name in arg.split()]
