Rename Builder_db modules in bin/ and test/
They both depend on the Builder_db module in db/, and using the same name confuses Merlin (as well as myself sometimes).
This commit is contained in:
parent
31971c8e6e
commit
675b57a579
4 changed files with 3 additions and 3 deletions
4
bin/dune
4
bin/dune
|
@ -11,6 +11,6 @@
|
|||
|
||||
(executable
|
||||
(public_name builder-db)
|
||||
(name builder_db)
|
||||
(modules builder_db)
|
||||
(name builder_db_app)
|
||||
(modules builder_db_app)
|
||||
(libraries builder_db builder_system caqti.blocking uri bos fmt logs logs.cli logs.fmt cmdliner mirage-crypto-rng.unix))
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
(test
|
||||
(name builder_db)
|
||||
(name test_builder_db)
|
||||
(libraries builder_db caqti.blocking alcotest mirage-crypto-rng.unix))
|
||||
|
|
Loading…
Reference in a new issue