From 6d6729192839a4dddf927b070b9da6bc2a4b61e3 Mon Sep 17 00:00:00 2001 From: o9000 Date: Sun, 5 Nov 2017 12:18:24 +0100 Subject: [PATCH] Update release script --- new-release.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/new-release.py b/new-release.py index 40de868..927a0d5 100755 --- a/new-release.py +++ b/new-release.py @@ -190,3 +190,7 @@ if __name__ == '__main__': run("cd tint2-%s ; mkdir build ; cd build ; cmake .. ; make" % readable_version) assert_equal(run("./tint2-%s/build/tint2 -v" % readable_version).strip(), "tint2 version %s" % readable_version) os.system("git log -p -1 --word-diff") + print "Does this look correct? [y/n]" + choice = raw_input().lower() + if choice != "y": + run("git reset HEAD~")