diff options
Diffstat (limited to 'tools/control')
| -rw-r--r-- | tools/control/build-web.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/control/build-web.xml b/tools/control/build-web.xml index 2b9c91332d..81227ea025 100644 --- a/tools/control/build-web.xml +++ b/tools/control/build-web.xml @@ -399,6 +399,7 @@ <mkdir dir="${build.home}"/> <mkdir dir="${build.home}/WEB-INF"/> <mkdir dir="${build.home}/WEB-INF/classes"/> + <mkdir dir="${dist.home}"/> <!-- create templates --> <exec executable="make" dir="${web.home}/tmpl"/> |