diff options
| -rw-r--r-- | build/build.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index b6c701469a..43713ddcc1 100644 --- a/build/build.xml +++ b/build/build.xml @@ -1015,6 +1015,9 @@ <echo>Build number: ${build.number}</echo> <echo>Build tag: ${build.tag}</echo> <echo>Publish target: ${nightly.publish}</echo> + <condition property="nightly.demo.publish"> + <echo>Demo publish target: ${nightly.demo.publish}</echo> + </condition> <!-- Set build number. --> <tstamp> |