Skip to content
Snippets Groups Projects
Commit 783feb74 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[build] no coverage for GUIs

parent 81b59f48
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 2 deletions
src/plugins/eva/dune
+ 1
− 2
View file @ 783feb74
...@@ -59,8 +59,7 @@ ...@@ -59,8 +59,7 @@
(public_name frama-c-eva.gui) (public_name frama-c-eva.gui)
(flags -open Frama_c_kernel -open Frama_c_gui -open Eva__Private :standard -w -9 -alert -db_deprecated) (flags -open Frama_c_kernel -open Frama_c_gui -open Eva__Private :standard -w -9 -alert -db_deprecated)
(libraries eva frama-c.kernel frama-c.gui) (libraries eva frama-c.kernel frama-c.gui)
(instrumentation (backend landmarks)) (instrumentation (backend landmarks))))
(instrumentation (backend bisect_ppx))))
(plugin (plugin
(name eva-gui) (name eva-gui)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment