Commit f8393bfa authored by Ralf Jung's avatar Ralf Jung

remove grep filters that are no longer needed

parent d25db2ef
......@@ -25,7 +25,7 @@ if test -d "$OPAMROOT"; then
else
warn "[prepare-opam] Creating new opam root (compiler: $OCAML)"
mkdir "$OPAMROOT"
opam init --no-setup --disable-sandboxing --compiler="$OCAML" -y | egrep -v "^Updated .*/opam$"
opam init --no-setup --disable-sandboxing --compiler="$OCAML" -y
FRESH_OPAM=yes
fi
eval `opam conf env`
......@@ -51,7 +51,7 @@ make build-dep/opam
if [[ -z "$FRESH_OPAM" ]]; then # skip if this is a fresh opam root
# Update repositories and reinit. build-dep/opam must exist here because it
# might be installed, and opam would complain if it had went missing.
opam init --no-setup --disable-sandboxing --reinit -y | egrep -v "^Updated .*/opam$"
opam init --no-setup --disable-sandboxing --reinit -y
# We need `opam update` anyway to update git branches.
opam update --development
fi
......
Markdown is supported
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