Lines Matching refs:configFile
147 configFile = None
152 # The dictionary as a result of sourcing configFile.
158 # The 'archs' and 'compilers' can be specified via either command line or configFile,
159 # with the command line overriding the configFile. The corresponding options can be
391 global configFile
568 configFile = args.c
569 if not os.path.isfile(configFile):
570 print 'Config file:', configFile, 'does not exist!'
737 # Source the configFile if specified.
749 if configFile:
751 execfile(configFile, globals(), config)
