Skip to content
Snippets Groups Projects
Commit 42d9a7f0 authored by François Bobot's avatar François Bobot
Browse files

[Dune] convert instantiate to include_subdirs

parent a0e70ec3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/instantiate/dune
+ 1
− 2
View file @ 42d9a7f0
......@@ -7,5 +7,4 @@
(plugin (optional) (name instantiate) (libraries frama-c-instantiate.core) (site (frama-c plugins)))
(copy_files# stdlib/*)
(copy_files# string/*)
(include_subdirs unqualified)
src/plugins/instantiate/tests/dune 0 → 100644
+ 1
− 0
View file @ 42d9a7f0
(include_subdirs no)
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