Work around failures on platforms where the number of files open at once is limited#933

smorimoto merged 1 commit intoocaml:masterocaml/setup-ocaml:masterfrom

kit-ty-kate:workaround-gpatch-macoskit-ty-kate/setup-ocaml:workaround-gpatch-macosCopy head branch name to clipboard