Set CI environment for OpenCI migration

While migration, JENKINS_PUBLIC_URL will be set to
jenkins.openci.arm.com. Hence, add condition to
set necessary environment.

Change-Id: I831bbb58a141e3d8519915d13127a6b3163b7a43
Signed-off-by: Saheer Babu <saheer.babu@arm.com>
1 file changed