Skip to content

Commit

Permalink
Provide error message when we cannot build a commit
Browse files Browse the repository at this point in the history
  • Loading branch information
tobiasgrosser committed Apr 22, 2023
1 parent 15dee29 commit 1ccf154
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion tools/create-video.py
Original file line number Diff line number Diff line change
Expand Up @@ -205,8 +205,15 @@ def createImage(data):
cmd = f"{make} -C {dirname} {base_filename}.pdf"
run(cmd, shell=True, stdout=DEVNULL, stderr=STDOUT)
createImageOfPaper(dirname + f"/{base_filename}.pdf")

fullpng = dirname + f"/{base_filename}.pdf-full.png"

if not os.path.exists(fullpng):
print(f"Could not build commit {commit_number} with hash {commit}.")
return

plotStatistics(commit, dirname + "/statistics.png", branch, count)
run(['convert', dirname + f"/{base_filename}.pdf-full.png", '-resize', '3840x2160',
run(['convert', fullpng, '-resize', '3840x2160',
'-background', 'white', '-gravity', 'center', '-extent', '3840x2160',
dirname + f"/{base_filename}.pdf-expanded.png"])
run(['convert', '-gravity', 'SouthEast', dirname + f"/{base_filename}.pdf-expanded.png",
Expand Down

0 comments on commit 1ccf154

Please sign in to comment.