Skip to content

Commit

Permalink
Split one command into three, in attempt to improve determinism
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst committed Sep 1, 2022
1 parent ff25dec commit b598442
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion docs/developer/release/release_build.py
Original file line number Diff line number Diff line change
Expand Up @@ -270,7 +270,9 @@ def build_checker_framework_release(
# Update version numbers in the manual and API documentation,
# which come from source files that have just been changed.
# Otherwise the manual and API documentation show up in the grep command below.
execute("./gradlew allJavadoc manual", working_dir=CHECKER_FRAMEWORK)
execute("./gradlew assemble", working_dir=CHECKER_FRAMEWORK)
execute("./gradlew allJavadoc", working_dir=CHECKER_FRAMEWORK)
execute("./gradlew manual", working_dir=CHECKER_FRAMEWORK)

# Check that updating versions didn't overlook anything.
print("Here are occurrences of the old version number, " + old_cf_version + ":")
Expand Down

0 comments on commit b598442

Please sign in to comment.