Skip to content

Commit

Permalink
fix dune build
Browse files Browse the repository at this point in the history
  • Loading branch information
trefis committed Oct 20, 2020
1 parent 0cb298f commit 1e07bc7
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions dune
Expand Up @@ -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
Expand Down

0 comments on commit 1e07bc7

Please sign in to comment.