From a4bf9524dad6fedb0864b9eb5350be971248b689 Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Mon, 14 Oct 2019 08:45:20 -0700
Subject: [PATCH] Remove deadcode in the build script

Reviewed By: ngorogiannis

Differential Revision: D17906654

fbshipit-source-id: 7a2817a48
---
 build-infer.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build-infer.sh b/build-infer.sh
index d4ef13c81..158f9180f 100755
--- a/build-infer.sh
+++ b/build-infer.sh
@@ -43,7 +43,6 @@ function usage() {
 BUILD_CLANG=${BUILD_CLANG:-no}
 BUILD_JAVA=${BUILD_JAVA:-no}
 INFER_CONFIGURE_OPTS=${INFER_CONFIGURE_OPTS:-""}
-INFER_OPAM_SWITCH=${INFER_OPAM_SWITCH:-$INFER_OPAM_SWITCH_DEFAULT}
 INTERACTIVE=${INTERACTIVE:-yes}
 JOBS=${JOBS:-$NCPU}
 ONLY_SETUP_OPAM=${ONLY_SETUP_OPAM:-no}