diff options
author | 2018-07-20 13:47:32 +0200 | |
---|---|---|
committer | 2018-07-20 13:47:34 +0200 | |
commit | e07c85cf527425eeb452388af426d5390aa5a6ff (patch) | |
tree | 18eb948d63e4f8ae24bcd0d2fd2b60b11135ada3 /packaging/deb | |
parent | 1070d3f0fc18b0c4a634758da16ab863555c755b (diff) |
Bump jvpp version to 18.10-SNAPSHOT
Also sets version of VPP package dependencies to 18.07.
Change-Id: I4be0a5a9217c3e059125e7eb5a36170d02f12b88
Signed-off-by: Marek Gradzki <mgradzki@cisco.com>
Diffstat (limited to 'packaging/deb')
-rwxr-xr-x | packaging/deb/common/vpp_dependencies | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/packaging/deb/common/vpp_dependencies b/packaging/deb/common/vpp_dependencies index c69358ee3..bb2e3c755 100755 --- a/packaging/deb/common/vpp_dependencies +++ b/packaging/deb/common/vpp_dependencies @@ -1,6 +1,6 @@ #!/bin/bash # defines vpp and vpp-plugins dependencies for debian packages # using range -echo "vpp (>= 18.07), vpp (<< 18.08), vpp-plugins (>= 18.07), vpp-plugins (<< 18.08)" +echo "vpp (>= 18.10), vpp (<< 18.11), vpp-plugins (>= 18.10), vpp-plugins (<< 18.11)" # or specific vpp version -#echo "vpp (= 18.07-rc1), vpp-plugins (= 18.07-rc1)" +#echo "vpp (= 18.10-rc1), vpp-plugins (= 18.10-rc1)" |