diff options
| -rw-r--r-- | build/build.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index 8ac7c1758c..a9befcae48 100644 --- a/build/build.xml +++ b/build/build.xml @@ -273,6 +273,9 @@ </else> </if> + <!-- Create schema.json --> + <exec dir="${dir}" command="php develop/create_schema_files.php" /> + <delete file="${dir}/config.php" /> <delete dir="${dir}/develop" /> <delete dir="${dir}/install/data" /> |