From 7861a5a9dc44a396abe2a1da4d8b18b0034774da Mon Sep 17 00:00:00 2001
From: dimeglio <dimeglio>
Date: Sun, 17 Apr 2005 12:01:52 +0000
Subject: [PATCH] Added loading of new build.number file (this is a consequence
 of the split of build number from version.properties done in the R1 branch
 and now merged to HEAD)

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 6c8dc49a..647c7397 100755
--- a/build.xml
+++ b/build.xml
@@ -76,6 +76,7 @@
 		 Load version file 
 	     ========================================= -->
 	<property file="${module.version.file}"/>
+	<property file="${module.build.file}"/>
 	
 	<!-- ==============================================
 		 Local private targets