dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
482e318
)
Merge "Use 1 processes instead of 4 for phan"
author
jenkins-bot
<jenkins-bot@gerrit.wikimedia.org>
Fri, 9 Dec 2016 00:49:05 +0000
(
00:49
+0000)
committer
Gerrit Code Review
<gerrit@wikimedia.org>
Fri, 9 Dec 2016 00:49:05 +0000
(
00:49
+0000)
tests/phan/bin/phan
patch
|
blob
|
history
diff --git
a/tests/phan/bin/phan
b/tests/phan/bin/phan
index
07caee6
..
e9222a4
100755
(executable)
--- a/
tests/phan/bin/phan
+++ b/
tests/phan/bin/phan
@@
-31,9
+31,9
@@
php7.0 $PHAN \
--project-root-directory "$ROOT" \
--config-file "$ROOT/tests/phan/config.php" \
--output "$ROOT/tests/phan/issues/issues-${REV}" \
- -j 4
+ "${@}"
-# Re-link the latest
directory
+# Re-link the latest
file
rm -f "${ISSUES}/latest"
ln -s "${RUN}" "${ISSUES}/latest"