From 8aaf228c90eca1e0833269b9da71170218e6bf44 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Thu, 15 Jul 2021 13:57:54 -0700 Subject: [PATCH] Rename a variable --- docs/developer/release/release_build.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/developer/release/release_build.py b/docs/developer/release/release_build.py index 707965f3fb7..1f985bc85ef 100755 --- a/docs/developer/release/release_build.py +++ b/docs/developer/release/release_build.py @@ -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")