Commit 3a28a3e3 authored by Ralf Jung's avatar Ralf Jung
Browse files

opam: do not step on dirty working dir

parent 3d4e22e3
......@@ -4,6 +4,7 @@
export OPAMROOT="$(pwd)/opamroot"
export OPAMJOBS="$((2*$CPU_CORES))"
export OPAM_EDITOR="$(which false)"
export OPAMDROPWORKINGDIR=1
# Delete OPAM 1.2 root, if that's what we got
if test -d "$OPAMROOT" && fgrep 'opam-version: "1.2"' "$OPAMROOT/config" -q; then
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment