diff options
| author | Bastian Blank <waldi@debian.org> | 2018-02-08 14:17:06 +0100 |
|---|---|---|
| committer | Bastian Blank <waldi@debian.org> | 2018-02-08 14:17:32 +0100 |
| commit | a143fb1a02f834cb03a26c1fa1f4cad0d25e4094 (patch) | |
| tree | 21754a40b160e60a208b2559b84521f2b58d5d5c /debian/bin | |
| parent | aacdec9702ef219b85d90c88066a698cfea80968 (diff) | |
| download | kernel_replicant_linux-a143fb1a02f834cb03a26c1fa1f4cad0d25e4094.tar.gz kernel_replicant_linux-a143fb1a02f834cb03a26c1fa1f4cad0d25e4094.tar.bz2 kernel_replicant_linux-a143fb1a02f834cb03a26c1fa1f4cad0d25e4094.zip | |
stable-update: Support bare repos
Diffstat (limited to 'debian/bin')
| -rwxr-xr-x | debian/bin/stable-update | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/debian/bin/stable-update b/debian/bin/stable-update index 7a79348dc10e..f17afdd91c12 100755 --- a/debian/bin/stable-update +++ b/debian/bin/stable-update @@ -43,7 +43,10 @@ def print_stable_log(log, cur_ver, new_ver): cur_ver = next_ver def main(repo, new_ver): - os.environ['GIT_DIR'] = repo + '/.git' + if os.path.exists(os.path.join(repo, '.git')): + os.environ['GIT_DIR'] = os.path.join(repo, '.git') + else: + os.environ['GIT_DIR'] = repo changelog = Changelog(version=VersionLinux) cur_pkg_ver = changelog[0].version |