diff --git a/tests/phan/bin/phan b/tests/phan/bin/phan index 07caee6a59a..e9222a44d6b 100755 --- 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"