fix dune build

2020-10-20 11:20:40 +02:00 · 2020-10-20 11:20:40 +02:00 · 1e07bc7ed9
parent 0cb298f5e7
commit 1e07bc7ed9
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -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