diff options
| author | Benda Xu <heroxbd@gentoo.org> | 2017-10-26 15:19:17 +0900 |
|---|---|---|
| committer | Benda Xu <heroxbd@gentoo.org> | 2017-10-26 15:19:17 +0900 |
| commit | 5ca514261da345e762bfe43f5ff6edb12364d814 (patch) | |
| tree | 03c69b3b4f8c7389f1251f9d28fecc002e6c00d2 /src | |
| parent | 65cee1bd0daf986293725727f617cf3990092d3d (diff) | |
| download | unison-5ca514261da345e762bfe43f5ff6edb12364d814.zip unison-5ca514261da345e762bfe43f5ff6edb12364d814.tar.gz unison-5ca514261da345e762bfe43f5ff6edb12364d814.tar.bz2 | |
Makefile.OCaml: fswatch.cmi depends on ubase/prefs.cmi.
The dependency is needed to build unison in parallel.
Reference: https://bugs.gentoo.org/582666
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.OCaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.OCaml b/src/Makefile.OCaml index 427f131..eb49388 100644 --- a/src/Makefile.OCaml +++ b/src/Makefile.OCaml @@ -427,6 +427,8 @@ win32rc/unison.res.lib: win32rc/unison.res @echo "$(CAMLC): $< ---> $@" $(CAMLC) $(CAMLFLAGS) -c $(CWD)/$< +fswatch.cmi : ubase/prefs.cmi + %.cmo: %.ml @echo "$(OCAMLC): $< ---> $@" $(OCAMLC) $(CAMLFLAGS) -c $(CWD)/$< |