From fecbac86bc5987ca6720dc72e3d73b13b7419780 Mon Sep 17 00:00:00 2001 From: Enno Rehling Date: Fri, 6 Feb 2015 01:40:03 +0100 Subject: [PATCH] update version number, make preview script use the correct branch --- s/cron/previews.sh | 2 +- src/buildno.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/s/cron/previews.sh b/s/cron/previews.sh index 37147ac53..b18038843 100755 --- a/s/cron/previews.sh +++ b/s/cron/previews.sh @@ -1,7 +1,7 @@ #!/bin/bash [ -z ${ERESSEA} ] && ERESSEA=~/eressea -branch="master" +branch="develop" if [ -e ${ERESSEA}/build/.preview ]; then branch=`cat ${ERESSEA}/build/.preview` fi diff --git a/src/buildno.h b/src/buildno.h index 008d66547..99749c6d0 100644 --- a/src/buildno.h +++ b/src/buildno.h @@ -1,3 +1,3 @@ #define VERSION_MAJOR 3 #define VERSION_MINOR 4 -#define VERSION_BUILD 698 +#define VERSION_BUILD 0