diff --git a/src/misc/writeBuildNum.sh b/src/misc/writeBuildNum.sh
index bb0c2bd66b..c94c353b42 100755
--- a/src/misc/writeBuildNum.sh
+++ b/src/misc/writeBuildNum.sh
@@ -3,13 +3,13 @@
 # This file is used both to rebuild the header file and to set the 
 # environment variables on the config call
 
-BuildVersion="$Id: writeBuildNum.sh,v 1.19871 2008-05-02 07:28:27 hvlad Exp $"
+BuildVersion="$Id: writeBuildNum.sh,v 1.19872 2008-05-02 07:37:00 hvlad Exp $"
 
 BuildType=T
 MajorVer=2
 MinorVer=5
 RevNo=0
-BuildNum=19711
+BuildNum=19712
 
 if [ "$SPECIAL_BUILD_SUFFIX" = "" ]; then
 # Normal builds
@@ -94,7 +94,7 @@ cat >$1 <<eof
 MajorVer = $MajorVer
 MinorVer = $MinorVer
 RevNo = $RevNo
-BuildNum=19711
+BuildNum=19712
 BuildType = $BuildType
 BuildSuffix = $BuildSuffix