build/pymake/make.py
author Mike Hommey <mh+mozilla@glandium.org>
Sat, 04 Aug 2012 08:48:56 +0200
changeset 106884 2ef51674316aadfe26a46877b16794f758bf4b6d
parent 99131 e5e7f60fe0bed65a97963e5d5c9adc0d379a8f3e
child 115196 dc70ce87180c1c8e2c68ece7c5927205eb6ff7e9
permissions -rwxr-xr-x
Bug 774032 bonus - Use @DEPTH@ and @relativesrcdir@ in Makefile.in. r=ted

#!/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"