mirror of
https://github.com/jquery/jquery-ui.git
synced 2026-02-05 04:34:56 -05:00
release build: ignore missing version.txt, makes it easier to reuse build on ui-site
This commit is contained in:
@@ -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}/" />
|
||||
|
||||
Reference in New Issue
Block a user