[SeaBIOS] [PATCH] scripts/buildversion.py: allow version to be overridden

[David Woodhouse]

Signed-off-by: David Woodhouse 
---
 scripts/buildversion.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/buildversion.py b/scripts/buildversion.py
index 8875497..fc2decd 100755
--- a/scripts/buildversion.py
+++ b/scripts/buildversion.py
@@ -113,7 +113,9 @@ def main():

cleanbuild, toolstr = tool_versions(options.tools)

-    ver = git_version()
+    ver = os.getenv('SEABIOS_VERSION')
+    if not ver:
+        ver = git_version()
     cleanbuild = cleanbuild and 'dirty' not in ver
     if not ver:
         ver = file_version()