Lines Matching refs:configure
1547 def configure(extra=None, configure='./configure'):
1549 Run configure passing in the correct host, build, and target options.
1551 @param extra: extra command line arguments to pass to configure
1552 @param configure: which configure script to use
1564 system('%s %s' % (configure, ' '.join(args)))
