diff options
| author | Joas Schilling <nickvergessen@gmx.de> | 2014-10-07 17:17:30 +0200 |
|---|---|---|
| committer | Joas Schilling <nickvergessen@gmx.de> | 2014-10-07 17:18:00 +0200 |
| commit | d64a515476955add1baf2e6cacab2de58a39118a (patch) | |
| tree | 0399b3fd74208ff8e17aec83052c17e8bcedaf8a | |
| parent | 34a9ed358738296ba818d637f88121a6050a6ff3 (diff) | |
| download | forums-d64a515476955add1baf2e6cacab2de58a39118a.tar forums-d64a515476955add1baf2e6cacab2de58a39118a.tar.gz forums-d64a515476955add1baf2e6cacab2de58a39118a.tar.bz2 forums-d64a515476955add1baf2e6cacab2de58a39118a.tar.xz forums-d64a515476955add1baf2e6cacab2de58a39118a.zip | |
[ticket/13137] Create schema.json in build script
PHPBB3-13137
| -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" /> |