Commit 0b3c1a91 authored by Ralf Jung's avatar Ralf Jung
Browse files

fix bash syntax

parent d77fee7a
......@@ -16,7 +16,7 @@ if test -d "$OPAMROOT" && fgrep 'opam-version: "1.2"' "$OPAMROOT/config" -q; the
fi
# Delete root if compiler does not match
for PACKAGE IN $OCAML; do
for PACKAGE in $OCAML; do
if test -d "$OPAMROOT" && ! opam list -s -i "$PACKAGE" | egrep . -q; then
warn "[prepare-opam] Deleting opam root with outdated compiler ($PACKAGE not found)"
rm -rf "$OPAMROOT"
......
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