diff options
| author | John Estabrook <jestabro@vyos.io> | 2024-10-23 18:50:46 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2024-10-27 20:50:41 -0500 |
| commit | 5d7927e392e70436aaca1f8261e5d4ab8e4ec8f8 (patch) | |
| tree | d824589851f788ab4864c31b44ec6cbab2f5cefe /src/util.ml | |
| parent | dd9271b4304c6b1a5a2576821d1b2b8fd3aa6bf5 (diff) | |
| download | vyconf-5d7927e392e70436aaca1f8261e5d4ab8e4ec8f8.tar.gz vyconf-5d7927e392e70436aaca1f8261e5d4ab8e4ec8f8.zip | |
T6718: update build system, drop batteries, and adjust for lib changes
Update as needed for use with contemporary vyos1x-config:
. update build system to use dune
. drop use of batteries
. update for protoc breaking changes in versions >= 3.0
. remove files now in vyos1x-config (config_tree et. al.; parsing)
Diffstat (limited to 'src/util.ml')
| -rw-r--r-- | src/util.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util.ml b/src/util.ml index c4bbd96..ec988e9 100644 --- a/src/util.ml +++ b/src/util.ml @@ -8,7 +8,7 @@ let find_xml_child name xml = | _ -> false in match xml with - | Xml.Element (_, _, children) -> Vylist.find find_aux children + | Xml.Element (_, _, children) -> Vyos1x.Vylist.find find_aux children | Xml.PCData _ -> None (** Convert a list of strings to a string of unquoted, space separated words *) |