diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-04-06 15:34:05 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-04-10 10:03:47 +0200 |
| commit | 988349da1a92da125d3722e306d02931ac428b2a (patch) | |
| tree | d781b0769307e0ce8c4f1aeb207bdc85f88d2657 /otherlibs/Makefile | |
| parent | 776f3365991178d66cc86728a59dac5e118b1c95 (diff) | |
| download | ocaml-988349da1a92da125d3722e306d02931ac428b2a.tar.gz | |
otherlibs: Merge win32unix into unix
Diffstat (limited to 'otherlibs/Makefile')
| -rw-r--r-- | otherlibs/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index 7f1a7edfa2..cbb005477e 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -16,13 +16,10 @@ ROOTDIR=.. include $(ROOTDIR)/Makefile.common -OTHERLIBRARIES ?= dynlink str systhreads \ - unix win32unix - # $1: target name to dispatch to all otherlibs/*/Makefile define dispatch_ $1: - @for lib in $$(OTHERLIBRARIES); do \ + for lib in $$(OTHERLIBRARIES); do \ ($$(MAKE) -C $$$$lib $1) || exit $$$$?; \ done endef |