bugfix: Do not require SKIP_OPAM_INSTALL

diskuv · Jan 21, 2023 · 2b6e2df · 2b6e2df
1 parent 50c7fdf
commit 2b6e2df
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ci/build-test.sh b/ci/build-test.sh
@@ -60,13 +60,13 @@ if [ -e "$xswitch/src-ocaml/config.log" ]; then
 fi
 
 # Update
-if ! [ "${SKIP_OPAM_INSTALL}" = ON ]; then
+if ! [ "${SKIP_OPAM_INSTALL:-}" = ON ]; then
   opamrun update
 fi
 
 # Build and test
 OPAM_PKGNAME=${OPAM_PACKAGE%.opam}
-if ! [ "${SKIP_OPAM_INSTALL}" = ON ]; then
+if ! [ "${SKIP_OPAM_INSTALL:-}" = ON ]; then
   opamrun install "./${OPAM_PKGNAME}.opam" --with-test --yes
 fi