This statement:
<property file="${user.home}/build.properties"/>
Reads a property file(i.e. all properties in that file), and does not set the property named file.
This would be correct. You first set a property and then echo it:
<property name="file" value="${user.home}/build.properties"/>
<echo message="${file}" />
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…