From 78bb8550bfb16b669629cf3c48d8315852271460 Mon Sep 17 00:00:00 2001 From: Rainer Schoenberger Date: Mon, 4 Dec 2023 17:48:24 +0100 Subject: [PATCH] version Signed-off-by: Rainer Schoenberger --- src/version/generateVersionDefine.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/version/generateVersionDefine.sh b/src/version/generateVersionDefine.sh index ef2c04c..9b2be09 100755 --- a/src/version/generateVersionDefine.sh +++ b/src/version/generateVersionDefine.sh @@ -28,7 +28,7 @@ # TODO: we could do this via git hooks. Problem is just that hooks are not # really part of the repository. I.e. each user would need to install the # hooks. Will need to find some solution -HARD_CODED_VERSION="v4.2.0" +HARD_CODED_VERSION="v4.2.2" # get build date DATE=`date +%Y-%m-%d_%H:%M:%S`