From 82bf3a742992b8f9558b2383d3b4b283d7121859 Mon Sep 17 00:00:00 2001
From: robocop <robocop@users.sourceforge.net>
Date: Fri, 29 May 2009 11:27:44 +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 49f97f14cb..955752938f 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.24156 2009-05-29 11:27:41 robocop Exp $"
+BuildVersion="$Id: writeBuildNum.sh,v 1.24157 2009-05-29 11:27:42 robocop Exp $"
 
 BuildType=T
 MajorVer=2
 MinorVer=5
 RevNo=0
-BuildNum=23992
+BuildNum=23993
 
 if [ "$SPECIAL_BUILD_SUFFIX" = "" ]; then
 # Normal builds
@@ -94,7 +94,7 @@ cat >$1 <<eof
 MajorVer = $MajorVer
 MinorVer = $MinorVer
 RevNo = $RevNo
-BuildNum=23992
+BuildNum=23993
 BuildType = $BuildType
 BuildSuffix = $BuildSuffix