diff options
| author | Andreas Fischer <bantu@phpbb.com> | 2014-10-07 20:30:40 +0200 |
|---|---|---|
| committer | Andreas Fischer <bantu@phpbb.com> | 2014-10-07 20:30:40 +0200 |
| commit | 63bdd193e0da90dc12ff2b6523b255f832420d3b (patch) | |
| tree | 0399b3fd74208ff8e17aec83052c17e8bcedaf8a /build | |
| parent | c77d6f39f25690437bee29ca542b52e10600f0e0 (diff) | |
| parent | d64a515476955add1baf2e6cacab2de58a39118a (diff) | |
| download | forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.tar forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.tar.gz forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.tar.bz2 forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.tar.xz forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.zip | |
Merge pull request #3027 from nickvergessen/ticket/13137
[ticket/13137] Remove schema.json from repository
* nickvergessen/ticket/13137:
[ticket/13137] Create schema.json in build script
[ticket/13137] Improve output of create_schema_files.php
[ticket/13137] Add schema.json file to .gitignore
[ticket/13137] Generate the schema when the schema.json file is not available
[ticket/13137] Remove schema.json file
Diffstat (limited to 'build')
| -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" /> |