| #!/usr/bin/env python | |
| # This script should work in python 2 *or* 3. It loads the main code using | |
| # python_selector, which may pick a different version. | |
| from tools import python_selector | |
| if __name__ == '__main__': | |
| python_selector.run(__file__, main="main") |