Make sure opam folder is empty before we try to create it

Reviewed By: ezgicicek

Differential Revision: D21323328

fbshipit-source-id: e0522e33f
master
Martin Trojer 5 years ago committed by Facebook GitHub Bot
parent a61965d622
commit 7b5356cf97

@ -59,6 +59,7 @@ opam_switch_create_if_needed () {
fi fi
done done
if [ "$switch_exists" = "no" ]; then if [ "$switch_exists" = "no" ]; then
rm -rf "$OPAMROOT/$switch"
opam switch create "$switch" "$compiler" opam switch create "$switch" "$compiler"
fi fi
} }

Loading…
Cancel
Save