From d64a515476955add1baf2e6cacab2de58a39118a Mon Sep 17 00:00:00 2001
From: Joas Schilling <nickvergessen@gmx.de>
Date: Tue, 7 Oct 2014 17:17:30 +0200
Subject: [PATCH] [ticket/13137] Create schema.json in build script

PHPBB3-13137
---
 build/build.xml | 3 +++
 1 file changed, 3 insertions(+)

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" />