Another hack/workaround for 4.11.1 release.

This commit is contained in:
Richard W.M. Jones 2020-09-01 20:43:06 +01:00
parent 47bb928d91
commit 69b7070749
1 changed files with 3 additions and 0 deletions

View File

@ -54,6 +54,9 @@ find . -name .gitignore -delete
pushd ocaml_stuff
ln -s 4.11.0 4.11.1
popd
pushd ocaml_src/lib/versdep
ln -s 4.11.0.ml 4.11.1.ml
popd
# Build with debug information
sed -i 's,WARNERR="",WARNERR="-g",' configure