author | Gregory Szorc <gps@mozilla.com> |
Wed, 28 Jan 2015 13:37:00 -0800 | |
branch | 14_0_Beta_Hedge |
changeset 149461 | 5b81998bb7ab5aade597584417ea90b0995c586e |
parent 55996 | 942830bbb94c02d13dcfbe2ff0d956eb818d1d5a |
child 98529 | f4157e8c410708d76703f19e4dfb61859bfe32d8 |
permissions | -rwxr-xr-x |
#!/usr/bin/env python """ make.py A drop-in or mostly drop-in replacement for GNU make. """ import sys, os import pymake.command, pymake.process import gc if __name__ == '__main__': gc.disable() pymake.command.main(sys.argv[1:], os.environ, os.getcwd(), cb=sys.exit) pymake.process.ParallelContext.spin() assert False, "Not reached"