diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-10-08 15:19:31 +0200 |
|---|---|---|
| committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-10-08 20:28:12 +0200 |
| commit | 540996d21ee3793a1cecce252c81fb76a6b9fd61 (patch) | |
| tree | 3eb32bd86830bf1336f4bc626f218088b2ae0232 /otherlibs/Makefile | |
| parent | eb342da8a9cdbce0760b91c9b9d5e682ed0d4496 (diff) | |
| download | ocaml-540996d21ee3793a1cecce252c81fb76a6b9fd61.tar.gz | |
Remove Spacetime
Diffstat (limited to 'otherlibs/Makefile')
| -rw-r--r-- | otherlibs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index e5df383198..0da6669b73 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -16,7 +16,7 @@ ROOTDIR=.. include $(ROOTDIR)/Makefile.common -OTHERLIBRARIES ?= bigarray dynlink raw_spacetime_lib str systhreads \ +OTHERLIBRARIES ?= bigarray dynlink str systhreads \ unix win32unix # $1: target name to dispatch to all otherlibs/*/Makefile |