commit 712af40b7f5bacdfc13389c427cec121d6d368c1 Author: iwakeh iwakeh@torproject.org Date: Mon Dec 18 15:45:03 2017 +0000

Adapt work-directory default to production server setting. --- build.xml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml index 941cfc2..070ec67 100644 --- a/build.xml +++ b/build.xml @@ -178,8 +178,9 @@ </exec> </target>

- <!-- This can be adapted to point at the actual deployment path. --> - <property name="prepare.deployment" value="${basedir}/generated" /> + <!-- This can be adapted to point at the actual work directory. --> + <property name="prepare.deployment" + value="/srv/metrics.torproject.org/metrics/work" />

<!-- Don't alter the following. --> <property name="modulebase" value="${prepare.deployment}/modules" />