diff options
| author |   Marek Gradzki <mgradzki@cisco.com> | 2018-04-09 17:47:12 +0200 |
|---|---|---|
| committer | Marek Gradzki <mgradzki@cisco.com> | 2018-04-09 19:05:03 +0200 |
| commit | 147b1269a2588208defa7bff171c4a685f6ade8a (patch) | |
| tree | 624f2621ae17ec71408bb16614a1eaa7c46ccfb7 /packaging/deb | |
| parent | 4add711e43e7e26cddc6bdae243a20b3920d5087 (diff) | |
Bump jvpp version to 18.07-SNAPSHOT
Also sets version of VPP package dependencies to 18.07.
Change-Id: I87d5f538891d946b3a803afa987ab39c609f1ae1
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 7acc26423..c69358ee3 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.04), vpp (<< 18.05), vpp-plugins (>= 18.04), vpp-plugins (<< 18.05)" +echo "vpp (>= 18.07), vpp (<< 18.08), vpp-plugins (>= 18.07), vpp-plugins (<< 18.08)" # or specific vpp version -#echo "vpp (= 18.04-rc1), vpp-plugins (= 18.04-rc1)" +#echo "vpp (= 18.07-rc1), vpp-plugins (= 18.07-rc1)" |