From e3dffa8a7f77bb730b006d99e1082f15772b7661 Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Sun, 3 May 2020 15:26:53 +0100
Subject: [PATCH] Silence CI warning for undefined variable

---
 Makefile.common | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.common b/Makefile.common
index 482418559..267d63a35 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -81,6 +81,7 @@ OCAMLLEX_FLAGS ?= -q
 # general (it supports both .o and .obj)
 
 ifneq "$(COMPUTE_DEPS)" "false"
+RUNTIME_HEADERS :=
 REQUIRED_HEADERS :=
 else
 RUNTIME_HEADERS := $(wildcard $(ROOTDIR)/runtime/caml/*.tbl) \