We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 50b97c7 commit 6a532b8Copy full SHA for 6a532b8
.github/scripts/main/ocaml-cache.sh
@@ -97,7 +97,7 @@ OCAML_BRANCH="${OCAML_BRANCH/./}"
97
if [[ $OPAM_TEST -ne 1 ]] ; then
98
if [[ -e configure.ac ]]; then
99
CONFIGURE_SWITCHES="--disable-debugger --disable-debug-runtime --disable-ocamldoc --disable-installing-bytecode-programs --disable-installing-source-artifacts"
100
- if [[ $OCAML_BRANCH -eq 408 ]]; then
+ if [[ $OCAML_BRANCH = 408 ]]; then
101
curl -fsSL https://github.com/ocaml/ocaml/commit/c8ee39b320207717135d88cad67fb65d0901d6b6.patch -o pr8858.patch
102
patch -p1 -i pr8858.patch
103
CONFIGURE_SWITCHES="$CONFIGURE_SWITCHES --disable-graph-lib"
0 commit comments