portal: add build number variable

Revise portal.yaml to have this line:
	maven-deploy-properties: -Dbuild.number=$BUILD_NUMBER

Change-Id: I52a1b09e1ba58159196d722db1276bcd8cd826aa
Signed-off-by: Christopher Lott (cl778h) <clott@research.att.com>

diff --git a/jjb/portal/portal.yaml b/jjb/portal/portal.yaml
index 399c4ea..dc3ce24 100644 (file)
--- a/jjb/portal/portal.yaml
+++ b/jjb/portal/portal.yaml
@@ -18,3 +18,4 @@
     files: '**'
     archive-artifacts: ''
     build-node: ubuntu1604-basebuild-4c-4g
+    maven-deploy-properties: -Dbuild.number=$BUILD_NUMBER