diff options
author | Sadiq Jaffer <sadiq@toao.com> | 2021-10-09 19:10:23 +0100 |
---|---|---|
committer | Sadiq Jaffer <sadiq@toao.com> | 2022-05-24 11:48:34 +0100 |
commit | 43c9026a9a47fcbdf2e827fecd022f559f206fb2 (patch) | |
tree | 0dc104e33d69828fd54982fbf25556bbe89815da /otherlibs/Makefile | |
parent | 2ddb52f9cc0cff844490f4756233b36f738f635d (diff) | |
download | ocaml-43c9026a9a47fcbdf2e827fecd022f559f206fb2.tar.gz |
Runtime_events tracing system
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 46362be682..5fe2d750cd 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -21,7 +21,7 @@ include $(ROOTDIR)/Makefile.common # at the moment, the clean targets depend on this variable but # when they are invoked ../Makefile.config is not included, so that # OTHERLIBRARIES would be empty and the clean targets would thus not work. -OTHERLIBRARIES ?= dynlink str systhreads unix +OTHERLIBRARIES ?= dynlink str systhreads unix runtime_events # $1: target name to dispatch to all otherlibs/*/Makefile define dispatch_ |