robur/miou-solo5
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add -no-keep-locs as we do for variants

Browse source
This commit is contained in:
Calascibetta Romain 2025-02-24 13:52:43 +01:00
parent 7fec460734
commit a195b7766c
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/dune
View file

@ -3,6 +3,8 @@
(public_name miou-solo5) (public_name miou-solo5)
(modules miou_solo5) (modules miou_solo5)
(libraries jsonm logs miou) (libraries jsonm logs miou)
(flags
(:standard -no-keep-locs))
(wrapped false) (wrapped false)
(foreign_stubs (foreign_stubs
(language c) (language c)