diff options
Diffstat (limited to 'tools/Makefile.shared')
| -rw-r--r-- | tools/Makefile.shared | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile.shared b/tools/Makefile.shared index 154be6429..8025d9c8a 100644 --- a/tools/Makefile.shared +++ b/tools/Makefile.shared @@ -86,7 +86,7 @@ ocamlmklib: myocamlbuild_config.cmo ocamlmklib.cmo $(CAMLC) $(LINKFLAGS) -o ocamlmklib myocamlbuild_config.cmo ocamlmklib.cmo ocamlmklib.cmo: myocamlbuild_config.cmi -myocamlbuild_config.ml: ../config/Makefile +myocamlbuild_config.ml: ../config/Makefile ../build/mkmyocamlbuild_config.sh ../build/mkmyocamlbuild_config.sh cp ../myocamlbuild_config.ml . |