EBernhardson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/148850
Change subject: Enable hhvm hotprofiler
......................................................................
Enable hhvm hotprofiler
I asked brett the other day about hotprofiler at lunch, and he
indicated that having it compiled in is standard procedure.
Change-Id: Icaf42b2efcc0fac7e6b9faa99f8d81fa9c602229
---
M debian/rules
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/debs/hhvm
refs/changes/50/148850/1
diff --git a/debian/rules b/debian/rules
index 354928e..511edf2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -18,6 +18,7 @@
dh_auto_configure -- \
-DUSE_JSONC=ON \
-DFREETYPE_INCLUDE_DIRS=/usr/include/freetype2/ \
+ -DHOTPROFILER=ON \
-DCMAKE_INSTALL_PREFIX=/usr
ifeq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
--
To view, visit https://gerrit.wikimedia.org/r/148850
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Icaf42b2efcc0fac7e6b9faa99f8d81fa9c602229
Gerrit-PatchSet: 1
Gerrit-Project: operations/debs/hhvm
Gerrit-Branch: master
Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
