[BUG] Minor version of plugin and server is not properly set #471

UnitTestBot · Oct 2, 2022 · a94e921 · a94e921
1 parent c86eb3a
commit a94e921
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/docker/building_dependencies/runtime_env.sh b/docker/building_dependencies/runtime_env.sh
@@ -35,4 +35,7 @@ export LD_LIBRARY_PATH=$UTBOT_INSTALL_DIR/lib
 export LDFLAGS='-fuse-ld=gold'
 export PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:$UTBOT_ALL/bear/bin:$UTBOT_ALL/klee/bin:$UTBOT_INSTALL_DIR/bin:$PATH
 
-export VERSION=$(date '+%Y.%-m').0
+if [ -z "${VERSION}" ]
+then
+    export VERSION=$(date '+%Y.%-m').0
+fi