diff --git a/release.py b/release.py index 5546228a..79ba18eb 100755 --- a/release.py +++ b/release.py @@ -568,7 +568,10 @@ def bump(tag: Tag) -> None: print("Bumped revision") if extra_work: - print("configure.ac has changed; re-run autotools!") + if ask_question("configure.ac has changed; run 'make regen-configure'?"): + run_cmd(["make", "regen-configure"]) + else: + print("configure.ac has changed; re-run autotools!") print("Please commit and use --tag")