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 5d79979 commit d1f2385Copy full SHA for d1f2385
appveyor_build.sh
@@ -119,4 +119,6 @@ git remote add local $(echo "$APPVEYOR_BUILD_FOLDER"| cygpath -f -) -f --tags
119
run "git checkout $APPVEYOR_REPO_COMMIT" git checkout merge
120
cd ..
121
122
+mv $OCAMLROOT $OCAMLROOT-Disabled
123
run "make world" $MAKEOCAML flexdll world
124
+mv $OCAMLROOT-Disabled $OCAMLROOT
0 commit comments