From b242a577f29a5cfef2cf69a1f3e78f52314b6ab1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Scott=20Gonz=C3=A1lez?= <scott.gonzalez@gmail.com>
Date: Thu, 5 Aug 2010 12:52:50 -0400
Subject: [PATCH] Build: Force headered files to be copied to minified
 directory. Fixes #5904 - Build: sometimes headered files aren't copied to
 minified directory.

---
 build/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/build.xml b/build/build.xml
index eff71343269..c05046ef99c 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -69,7 +69,7 @@
 				</concat>
 			</sequential>
 		</for>
-		<copy todir="${min.dir}">
+		<copy todir="${min.dir}" overwrite="true">
 			<fileset dir="${dist.dir}/ui-headered/" includes="*.js" />
 		</copy>