update script

ocaml-flambda · Oct 20, 2023 · 25718d8 · 25718d8
1 parent 445d41e
commit 25718d8
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/jane/build-resolved-files-for-ci b/jane/build-resolved-files-for-ci
@@ -121,9 +121,10 @@ dune_targets=$(
 # ocamloptcomp mls
 mls=$(
   { echo middle_end/{,closure,flambda}/*.ml
-    echo asmcomp/*cmm*.ml
+    echo asmcomp/*.ml
   } |
-    tr ' ' '\n'
+    tr ' ' '\n' |
+    grep -v "asmcomp/CSEgen.ml"
 )
 echo "$mls"
 dune_targets=$(