From 6482046f54fc26d024b8c08a1e7c3c71f7c5ec01 Mon Sep 17 00:00:00 2001
From: Tahina Ramananandro <taramana@microsoft.com>
Date: Thu, 27 May 2021 14:11:30 -0700
Subject: [PATCH] BINARY_PACKAGE -> BUILD_PACKAGE

---
 .scripts/process_build.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.scripts/process_build.sh b/.scripts/process_build.sh
index 2fcefc6f9c1..1ee9cd777a5 100755
--- a/.scripts/process_build.sh
+++ b/.scripts/process_build.sh
@@ -36,15 +36,15 @@ TYPE="_Windows_x64.zip"
 MAJOR_ZIP_FILE=fstar_$CURRENT_VERSION$TYPE
 if [[ -f $MAJOR_ZIP_FILE ]]; then
   unzip -o $MAJOR_ZIP_FILE
-  BINARY_PACKAGE="$MAJOR_ZIP_FILE"
-  cp $MAJOR_ZIP_FILE "$FSTAR_HOST_HOME/release/$BINARY_PACKAGE"
+  BUILD_PACKAGE="$MAJOR_ZIP_FILE"
+  cp $MAJOR_ZIP_FILE "$FSTAR_HOST_HOME/release/$BUILD_PACKAGE"
 else
   TYPE="_Linux_x86_64.tar.gz"
   MAJOR_TAR_FILE=fstar_$CURRENT_VERSION$TYPE
   if [[ -f $MAJOR_TAR_FILE ]]; then
     tar -x -f $MAJOR_TAR_FILE
-    BINARY_PACKAGE="$MAJOR_TAR_FILE"
-    cp $MAJOR_TAR_FILE "$FSTAR_HOST_HOME/release/$BINARY_PACKAGE"
+    BUILD_PACKAGE="$MAJOR_TAR_FILE"
+    cp $MAJOR_TAR_FILE "$FSTAR_HOST_HOME/release/$BUILD_PACKAGE"
   else
     echo -e "* ${RED}FAIL!${NC} src/ocaml-output/make package did not create ${MAJOR_ZIP_FILE} or ${MAJOR_TAR_FILE}"
     exit 1