From 07b2d4f3193dd1d1240e7a0b21fe8e4140cc55a4 Mon Sep 17 00:00:00 2001
From: robocop <robocop@users.sourceforge.net>
Date: Tue, 18 Aug 2009 12:43:23 +0000
Subject: [PATCH] increment build number

---
 src/misc/writeBuildNum.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/misc/writeBuildNum.sh b/src/misc/writeBuildNum.sh
index 5051d3be0c..b7909b8365 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.25177 2009-08-18 12:41:40 robocop Exp $"
+BuildVersion="$Id: writeBuildNum.sh,v 1.25178 2009-08-18 12:43:22 robocop Exp $"
 
 BuildType=T
 MajorVer=2
 MinorVer=5
 RevNo=0
-BuildNum=25012
+BuildNum=25013
 
 if [ "$SPECIAL_BUILD_SUFFIX" = "" ]; then
 # Normal builds
@@ -94,7 +94,7 @@ cat >$1 <<eof
 MajorVer = $MajorVer
 MinorVer = $MinorVer
 RevNo = $RevNo
-BuildNum=25012
+BuildNum=25013
 BuildType = $BuildType
 BuildSuffix = $BuildSuffix