diff --git a/src/misc/writeBuildNum.sh b/src/misc/writeBuildNum.sh index 99fa4bbd78..2d0039119b 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.20292 2008-05-30 01:40:47 asfernandes Exp $" +BuildVersion="$Id: writeBuildNum.sh,v 1.20293 2008-05-30 01:41:01 asfernandes Exp $" BuildType=T MajorVer=2 MinorVer=5 RevNo=0 -BuildNum=20132 +BuildNum=20133 if [ "$SPECIAL_BUILD_SUFFIX" = "" ]; then # Normal builds @@ -94,7 +94,7 @@ cat >$1 <