Advertisement
Guest User

Makefile.in-pgo.patch

a guest
Jan 28th, 2014
106
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. --- Makefile.in.old 2014-01-27 08:45:10.795890277 +1300
  2. +++ Makefile.in 2014-01-27 08:51:22.170242862 +1300
  3. @@ -205,3 +205,7 @@
  4. $(call SUBMAKE,$@,js/src)
  5. endif
  6. endif
  7. +
  8. +
  9. +pgo-profile-run:
  10. + $(PYTHON) $(topsrcdir)/build/pgo/profileserver.py $(EXTRA_TEST_ARGS)
Advertisement
RAW Paste Data Copied
Advertisement