py/makeversionhdr.py: Fallback to using docs version if no git repo.

Addresses issue #1420.

1 files changed, 5 insertions, 2 deletions

diff --git a/py/makeversionhdr.py b/py/makeversionhdr.py
index 708d67df7..468cf9e55 100644
--- a/py/makeversionhdr.py
+++ b/py/makeversionhdr.py
@@ -21,8 +21,11 @@ def get_version_info_from_git():
 
     # Note: git describe doesn't work if no tag is available
     try:
-        git_tag = subprocess.check_output(["git", "describe", "--dirty", "--always"], universal_newlines=True).strip()
-    except subprocess.CalledProcessError:
+        git_tag = subprocess.check_output(["git", "describe", "--dirty", "--always"], stderr=subprocess.STDOUT, universal_newlines=True).strip()
+    except subprocess.CalledProcessError as er:
+        if er.args[0] == 128:
+            # git exit code of 128 means no repository found
+            return None
         git_tag = ""
     except OSError:
         return None