diff options
Diffstat (limited to 'bindings/Makefile')
| -rw-r--r-- | bindings/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bindings/Makefile b/bindings/Makefile index c545b28..70e9e6c 100644 --- a/bindings/Makefile +++ b/bindings/Makefile @@ -11,6 +11,10 @@ LEVEL := .. include $(LEVEL)/Makefile.config -PARALLEL_DIRS = $(BINDINGS_TO_BUILD) +PARALLEL_DIRS = + +ifneq (,$(filter ocaml,$(BINDINGS_TO_BUILD))) +PARALLEL_DIRS += ocaml +endif include $(LEVEL)/Makefile.common |