Skip to content

Commit

Permalink
Rename a variable
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst authored and wmdietl committed Aug 3, 2021
1 parent ef08082 commit 8aaf228
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/developer/release/release_build.py
Expand Up @@ -274,8 +274,8 @@ def build_checker_framework_release(
)

# build the checker framework binaries and documents. Tests are run by release_push.py
ant_cmd = "./gradlew releaseBuild"
execute(ant_cmd, True, False, CHECKER_FRAMEWORK)
gradle_cmd = "./gradlew releaseBuild"
execute(gradle_cmd, True, False, CHECKER_FRAMEWORK)

# make the Checker Framework Manual
checker_manual_dir = os.path.join(CHECKER_FRAMEWORK, "docs", "manual")
Expand Down

0 comments on commit 8aaf228

Please sign in to comment.