Lines Matching refs:OPTION_EXEC
98 OPTION_EXEC = None
140 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT
283 OPTION_EXEC = args.exec_file
529 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT
536 if OPTION_EXEC:
537 if not os.path.isfile(OPTION_EXEC):
538 error('Invalid initialization file: %s' % (OPTION_EXEC))
864 if OPTION_EXEC:
865 with open(OPTION_EXEC, 'r') as execfile:
