diff options
Diffstat (limited to 'Makefile.nt')
| -rw-r--r-- | Makefile.nt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.nt b/Makefile.nt index 1dc328710d..f239f13d21 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -612,7 +612,7 @@ ocamlbuildlib.native: ocamlopt otherlibrariesopt ocamlbuild-mixed-boot .PHONY: ocamlbuild-mixed-boot ocamlbuild-mixed-boot: - ./build/mixed-boot.sh + OCAMLBUILD_FIND=/usr/bin/find ./build/mixed-boot.sh partialclean:: rm -rf _build |