build/pymake/make.py
author Joey Armstrong <joey@mozilla.com>
Mon, 04 Mar 2013 14:34:02 -0500
changeset 123725 7f12ca5e6d0acf10c4911d6f141bf94750ace687
parent 108890 dc70ce87180c1c8e2c68ece7c5927205eb6ff7e9
child 132432 aaf004a8213201fadf5242f12fde18506bd0a862
permissions -rwxr-xr-x
bug 750303: mkdir_deps - target specific enhancement

#!/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__':
  sys.stdout = os.fdopen(sys.stdout.fileno(), 'w', 0)
  sys.stderr = os.fdopen(sys.stderr.fileno(), 'w', 0)

  gc.disable()

  pymake.command.main(sys.argv[1:], os.environ, os.getcwd(), cb=sys.exit)
  pymake.process.ParallelContext.spin()
  assert False, "Not reached"