diff --git a/res/buildings/castle-2.xml b/res/buildings/castle-2.xml index f32b5f480..a54957415 100644 --- a/res/buildings/castle-2.xml +++ b/res/buildings/castle-2.xml @@ -1,5 +1,5 @@ - + diff --git a/res/buildings/castle.xml b/res/buildings/castle.xml index e4e295a71..9a63d7dc8 100644 --- a/res/buildings/castle.xml +++ b/res/buildings/castle.xml @@ -1,5 +1,5 @@ - + diff --git a/res/e3a/buildings.xml b/res/e3a/buildings.xml index ef4ef4199..231596dc6 100644 --- a/res/e3a/buildings.xml +++ b/res/e3a/buildings.xml @@ -3,7 +3,7 @@ - + diff --git a/s/coverity b/s/coverity index 8a7748e31..0ade4a113 100755 --- a/s/coverity +++ b/s/coverity @@ -1,6 +1,7 @@ #!/bin/bash set -e VERSION="$1" +echo "submitting version $VERSION" shift DESC="$*" cd Debug diff --git a/src/buildno.h b/src/buildno.h index ecfc833e6..9dcd4a3e9 100644 --- a/src/buildno.h +++ b/src/buildno.h @@ -1,3 +1,3 @@ #define VERSION_MAJOR 3 #define VERSION_MINOR 7 -#define VERSION_BUILD 1 +#define VERSION_BUILD 2