diff options
| author | Jörn Zaefferer <joern.zaefferer@gmail.com> | 2009-01-16 11:19:18 +0000 |
|---|---|---|
| committer | Jörn Zaefferer <joern.zaefferer@gmail.com> | 2009-01-16 11:19:18 +0000 |
| commit | 79647cdf120464456008b8e29ed3c54e5f0685e8 (patch) | |
| tree | d28d4f2a372c4d42424d080ff3b0b6de07389d39 /release/build.xml | |
| parent | 26cdc6d22be8778383bb1e45d44bb70ac2a2d8af (diff) | |
| download | jquery-ui-79647cdf120464456008b8e29ed3c54e5f0685e8.tar.gz jquery-ui-79647cdf120464456008b8e29ed3c54e5f0685e8.zip | |
release build: ignore missing version.txt, makes it easier to reuse build on ui-site
Diffstat (limited to 'release/build.xml')
| -rw-r--r-- | release/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/build.xml b/release/build.xml index 35a658514..50960735f 100644 --- a/release/build.xml +++ b/release/build.xml @@ -19,7 +19,7 @@ <property file="ant.properties" /> - <loadfile srcFile="../version.txt" property="release.version" /> + <loadfile failonerror="no" srcFile="../version.txt" property="release.version" /> <property name="release.filename" value="jquery.ui-${release.version}" /> <property name="dist.dir" value="dist/${release.filename}/" /> |