build/pymake/make.py
author Marco Bonardo <mbonardo@mozilla.com>
Tue, 07 Feb 2012 15:59:09 +0100
changeset 88398 96584d3595fa876146da89d8fbe7eabc33d18fdf
parent 55996 942830bbb94c02d13dcfbe2ff0d956eb818d1d5a
child 98529 f4157e8c410708d76703f19e4dfb61859bfe32d8
permissions -rwxr-xr-x
Bug 723044 - Don't trigger moz_hosts frecency update when updating frecency on idle. r=dietrich a=akeybl

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