[ticket/13137] Create schema.json in build script

PHPBB3-13137
This commit is contained in:
Joas Schilling 2014-10-07 17:17:30 +02:00
parent 34a9ed3587
commit d64a515476

View file

@ -273,6 +273,9 @@
</else> </else>
</if> </if>
<!-- Create schema.json -->
<exec dir="${dir}" command="php develop/create_schema_files.php" />
<delete file="${dir}/config.php" /> <delete file="${dir}/config.php" />
<delete dir="${dir}/develop" /> <delete dir="${dir}/develop" />
<delete dir="${dir}/install/data" /> <delete dir="${dir}/install/data" />