diff options
| author | Daniil Baturin <daniil@vyos.io> | 2025-11-26 19:43:00 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-26 19:43:00 +0000 |
| commit | 092dc65ab2197725faddbfcd2c64abb9f0151869 (patch) | |
| tree | d2025a73cf1b282238f8c7f9994d3f4713945bb8 /src/dune | |
| parent | b5a3d62714bc47f5187a10c8ad0773c9e655e9e4 (diff) | |
| parent | a2cd5c0db7633a3cf92c6a0206eabaab7879f6af (diff) | |
| download | vyconf-092dc65ab2197725faddbfcd2c64abb9f0151869.tar.gz vyconf-092dc65ab2197725faddbfcd2c64abb9f0151869.zip | |
Merge pull request #36 from jestabro/vyconf-edit-level
T8009: Extend vyconf session to be edit-level aware
Diffstat (limited to 'src/dune')
| -rw-r--r-- | src/dune | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -56,6 +56,13 @@ (preprocess (pps lwt_ppx))) (executable + (name vyconf_cli_compat) + (public_name vyconf_cli_compat) + (modules vyconf_cli_compat) + (libraries vyconfd_client) + (preprocess (pps lwt_ppx))) + +(executable (name validate) (public_name validate) (modules validate) |