Add VERSION in bash script compilation environment

diff --git a/src/compilation.py b/src/compilation.py
index 5b4fb1b90a0ad4aa34ee35f189dfbf3d8494a599..d0c62dbf1a9239a00d1c954d5b11d6c70d715768 100644 (file)
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -401,6 +401,7 @@ CC=\\"hack_libtool\\"%g" libtool'''
         self.build_environ.set("DIST_NAME", self.config.VARS.dist_name)
         self.build_environ.set("DIST_VERSION", self.config.VARS.dist_version)
         self.build_environ.set("DIST", self.config.VARS.dist)
+        self.build_environ.set("VERSION", self.product_info.version)
 
     def do_batch_script_build(self, script):
         # define make options (may not be used by the script)