mirror of
https://git.freebsd.org/ports.git
synced 2025-07-16 08:49:15 -04:00
d8add7cac4
- Add PGO option to enable Profile-Guided Optimization [1]. PR: ports/132231 [1] (based on) Submitted by: lioux@ [1] Thanks to: andreast@, Anonymous <swell.k AT gmail.com>, decke@, jsa@, swills@ and all the testers for their feedback!
18 lines
797 B
Python
18 lines
797 B
Python
--- build/pgo/profileserver.py.orig 2011-02-24 21:49:47.000000000 +0100
|
|
+++ build/pgo/profileserver.py 2011-02-24 21:50:30.000000000 +0100
|
|
@@ -77,13 +77,13 @@
|
|
t.setDaemon(True) # don't hang on exit
|
|
t.start()
|
|
|
|
- automation.setServerInfo("localhost", PORT)
|
|
+ automation.setServerInfo("127.0.0.1", PORT)
|
|
automation.initializeProfile(PROFILE_DIRECTORY)
|
|
browserEnv = automation.environment()
|
|
browserEnv["XPCOM_DEBUG_BREAK"] = "warn"
|
|
browserEnv["MOZ_JAR_LOG_DIR"] = MOZ_JAR_LOG_DIR
|
|
|
|
- url = "http://localhost:%d/index.html" % PORT
|
|
+ url = "http://127.0.0.1:%d/index.html" % PORT
|
|
appPath = os.path.join(SCRIPT_DIR, automation.DEFAULT_APP)
|
|
status = automation.runApp(url, browserEnv, appPath, PROFILE_DIRECTORY, {},
|
|
debuggerInfo=debuggerInfo,
|