diff options
Diffstat (limited to 'make/build-common.xml')
| -rw-r--r-- | make/build-common.xml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/make/build-common.xml b/make/build-common.xml index 1d408a057..88c876e5d 100644 --- a/make/build-common.xml +++ b/make/build-common.xml @@ -180,7 +180,10 @@ <echo message="swt.jar=${swt.jar}" /> <property name="plugin3.jar" value="${project.root}/make/lib/plugin3/plugin3-public.jar"/> - <echo message="plugin3.jar=${plugin3.jar}" /> + <condition property="plugin3-jars.available"> + <available file="${plugin3.jar}"/> + </condition> + <echo message="plugin3-jars.available: ${plugin3-jars.available} ${plugin3.jar}" /> <condition property="isSWTRuntimeAvailable"> <or> @@ -241,6 +244,7 @@ <condition property="oculusvr.sdk.available"> <available file="${rel.oculusvr.sdk}/LibOVR/Include/OVR_CAPI.h"/> </condition> + <echo message="oculusvr.sdk.available: ${oculusvr.sdk.available}" /> <property name="results.test" value="${build}/test/results" /> <property name="build.test" value="${build}/test/build" /> |