diff options
| author | Scott González <scott.gonzalez@gmail.com> | 2010-08-05 12:52:50 -0400 |
|---|---|---|
| committer | Scott González <scott.gonzalez@gmail.com> | 2010-08-05 12:52:50 -0400 |
| commit | b242a577f29a5cfef2cf69a1f3e78f52314b6ab1 (patch) | |
| tree | cf80c43d52a116518e13d8404c9ed3a8303701bc | |
| parent | 1e4fbd95d204b533bdbfe3e757712e3de11783d7 (diff) | |
| download | jquery-ui-b242a577f29a5cfef2cf69a1f3e78f52314b6ab1.tar.gz jquery-ui-b242a577f29a5cfef2cf69a1f3e78f52314b6ab1.zip | |
Build: Force headered files to be copied to minified directory. Fixes #5904 - Build: sometimes headered files aren't copied to minified directory.
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index eff713432..c05046ef9 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> |