From 7b5356cf9759b8cadc48df096059b9d3a19be9f4 Mon Sep 17 00:00:00 2001
From: Martin Trojer <mtrojer@fb.com>
Date: Thu, 30 Apr 2020 01:45:13 -0700
Subject: [PATCH] Make sure opam folder is empty before we try to create it

Reviewed By: ezgicicek

Differential Revision: D21323328

fbshipit-source-id: e0522e33f
---
 scripts/opam_utils.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/opam_utils.sh b/scripts/opam_utils.sh
index 5dcc421a8..02d638ad1 100644
--- a/scripts/opam_utils.sh
+++ b/scripts/opam_utils.sh
@@ -59,6 +59,7 @@ opam_switch_create_if_needed () {
         fi
     done
     if [ "$switch_exists" = "no" ]; then
+        rm -rf "$OPAMROOT/$switch"
         opam switch create "$switch" "$compiler"
     fi
 }