diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2010-05-19 12:53:40 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2010-05-19 12:53:40 +0000 |
commit | d06b348db0cbdd99642291b03a91e1e7124e9b69 (patch) | |
tree | a8c389bdd47787bc0260d13bc08baae7da078526 /Makefile.nt | |
parent | ca5f1daae77eeb753ba7813cd8ae1f28ba5ce9fc (diff) | |
download | ocaml-d06b348db0cbdd99642291b03a91e1e7124e9b69.tar.gz |
specify path to the 'find' utility for ocamlbuildlight
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 |