Rename binaries to hashbang-cert-{client,server}
All checks were successful
continuous-integration/drone/push Build is passing
All checks were successful
continuous-integration/drone/push Build is passing
To better reflect the hardcoded values in there.
This commit is contained in:
parent
ff5773a47b
commit
6f466f92a0
12
bin/dune
12
bin/dune
|
@ -1,11 +1,11 @@
|
|||
(executable
|
||||
(public_name cert-service-server)
|
||||
(name cert_service_server)
|
||||
(modules cert_service_server)
|
||||
(public_name hashbang-cert-server)
|
||||
(name hashbang_cert_server)
|
||||
(modules hashbang_cert_server)
|
||||
(libraries cert_service lwt.unix extunix bos mirage-crypto-rng.lwt))
|
||||
|
||||
(executable
|
||||
(public_name cert-service-client)
|
||||
(name cert_service_client)
|
||||
(modules cert_service_client)
|
||||
(public_name hashbang-cert-client)
|
||||
(name hashbang_cert_client)
|
||||
(modules hashbang_cert_client)
|
||||
(libraries cert_service lwt.unix bos mirage-crypto-rng.lwt))
|
||||
|
|
Loading…
Reference in a new issue