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>
1 file changed