From 5f3f8bf734bdc02adc69cf92f066547bd71e8a25 Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Mon, 20 Feb 2023 20:31:31 +0000
Subject: [PATCH 09/17] Provide a default for $(OCAMLDEPFLAGS)
---
Makefile.common | 1 +
1 file changed, 1 insertion(+)
diff --git a/Makefile.common b/Makefile.common
index 536e2a28ca..e2a9176a5c 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -169,6 +169,7 @@ endef # PROGRAM_SYNONYM
# should take place *before* Makefile.common is included.
OCAMLDEP ?= $(BEST_OCAMLDEP)
+OCAMLDEPFLAGS ?=
OC_OCAMLDEPFLAGS = -slash
OC_OCAMLDEPDIRS =
OCAMLDEP_CMD = $(OCAMLDEP) $(OC_OCAMLDEPFLAGS) \
--
2.41.0