diff options
| -rw-r--r-- | make/configure.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/make/configure.py b/make/configure.py index 77fd25f4e..ab39323ed 100644 --- a/make/configure.py +++ b/make/configure.py @@ -863,7 +863,11 @@ class RepoProbe( ShellProbe ): elif name == 'HASH': self.hash = value - self.shorthash = value[:7] + elif name == 'SHORTHASH': + if value != '': + self.shorthash = value + else: + self.shorthash = self.hash # type-classification via repository URL if self.url == project.url_repo_ssh: |