blob: 3d87ceef63454c0503e3accdaaf6ea4f57830923 [file] [log] [blame]
--- DrQueue-0.64.4/SConstruct 2012-10-29 16:40:29.396747920 +0100
+++ DrQueue-0.64.4/SConstruct 2012-10-29 16:49:00.676356045 +0100
@@ -79,8 +79,12 @@
print("Not a Git repository. Can't fetch commit id.")
commit_string = ""
else:
- commit_string = gitlog.communicate()[0].split("\n")[0].split(" ")[1]
- print("Current Git commit id is: "+commit_string)
+ output = gitlog.communicate()[0]
+ if output:
+ commit_string = output.split("\n")[0].split(" ")[1]
+ print("Current Git commit id is: "+commit_string)
+ else:
+ commit_string = ""
return commit_string
def write_git_rev(commit_id):