2009-03-19 17:19:38 +03:00
|
|
|
#!/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
|
|
|
|
|
2009-04-02 00:13:55 +04:00
|
|
|
import gc
|
|
|
|
|
2010-10-18 17:50:27 +04:00
|
|
|
if __name__ == '__main__':
|
2012-10-02 16:17:43 +04:00
|
|
|
sys.stdout = os.fdopen(sys.stdout.fileno(), 'w', 0)
|
|
|
|
sys.stderr = os.fdopen(sys.stderr.fileno(), 'w', 0)
|
|
|
|
|
2010-10-18 17:50:27 +04:00
|
|
|
gc.disable()
|
|
|
|
|
|
|
|
pymake.command.main(sys.argv[1:], os.environ, os.getcwd(), cb=sys.exit)
|
|
|
|
pymake.process.ParallelContext.spin()
|
|
|
|
assert False, "Not reached"
|