Merge 716b812 into 7d8b3ba

TokTok · Mar 24, 2020 · 6032c43 · 6032c43
2 parents 7d8b3ba + 716b812
commit 6032c43
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/bin/compile b/bin/compile
@@ -11,11 +11,11 @@ export OPAMROOT="$CACHE_DIR/opam"
 
 # Download opam.
 echo "/tmp/opam
-Y" | sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)
+Y" | sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) --no-backup
 
 # Enter source directory, install opam and dependencies.
 cd "$BUILD_DIR"
-bin/install-deps --no-backup
+. bin/install-deps
 eval $(opam env)
 
 # Build our app.

diff --git a/bin/install-deps b/bin/install-deps
@@ -3,7 +3,7 @@
 set -eu
 
 # Set up opam, install dune and menhir (it's not a library dependency).
-opam init --disable-sandboxing -n "$@"
+opam init --disable-sandboxing -n
 opam install dune menhir -y
 
 eval $(opam env)