1 files changed, 1 insertions, 1 deletions
diff --git a/build.xml b/build.xml
index e00eea2366..cf843f55db 100644
--- a/build.xml
+++ b/build.xml
@@ -26,7 +26,7 @@ PROPERTIES
   <property name="test.dir" value="${basedir}/test"/>
   <!-- Loads custom properties definitions -->
   <property name="properties.file" value="${basedir}/build.properties"/>
-  <property file="${properties}"/>
+  <property file="${properties.file}"/>
   <!-- Defines the product being built -->
   <property name="copyright.string" value="copyright 2002-2006 LAMP EPFL"/>
   <property name="number.file" value="${basedir}/build.number"/>