From 1e07bc7ed9260a09b928f83468e945a81a6948b2 Mon Sep 17 00:00:00 2001
From: Thomas Refis <thomas.refis@gmail.com>
Date: Tue, 20 Oct 2020 11:20:40 +0200
Subject: [PATCH] fix dune build

---
 dune | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dune b/dune
index aa026eb5d..2551b6a36 100644
--- a/dune
+++ b/dune
@@ -155,6 +155,9 @@
    schedgen scheduling selectgen selection spill split
    strmatch x86_ast x86_dsl x86_gas x86_masm x86_proc
 
+   ;; file_formats/
+   linear_format
+
    ;; asmcomp/debug/
    reg_availability_set compute_ranges_intf available_regs reg_with_debug_info
    compute_ranges