| --- 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): |