Merge "deb_dpdk: add new 18.02.x branch"

diff --git a/jjb/vpp/vpp.yaml b/jjb/vpp/vpp.yaml
index 0656508..b8b45fc 100644 (file)
--- a/jjb/vpp/vpp.yaml
+++ b/jjb/vpp/vpp.yaml
@@ -239,6 +239,8 @@
 
     builders:
         - shell: 'echo "VPP_BRANCH={branch}" > $WORKSPACE/variables.prop'
+        - inject:
+            properties-file: variables.prop
         - shell:
             !include-raw-escape:
                 - include-raw-vpp-checkstyle.sh
@@ -333,6 +335,8 @@
 
     builders:
         - shell: 'echo "VPP_BRANCH={branch}" > $WORKSPACE/variables.prop'
+        - inject:
+            properties-file: variables.prop
         - shell:
             !include-raw-escape:
                 - ../scripts/setup_vpp_dpdk_dev_env.sh