Fix for javahome update
[ci-management.git] / jjb / vpp / include-raw-vpp-build.sh
1 #!/bin/bash
2 # basic build script example
3
4 # do nothing but print the current slave hostname
5 hostname
6 export CCACHE_DIR=/tmp/ccache
7 if [ -d $CCACHE_DIR ];then
8     echo $CCACHE_DIR exists
9     du -sk $CCACHE_DIR
10 else
11     echo $CCACHE_DIR does not exist.  This must be a new slave.
12 fi
13
14 # Make sure we are starting on java-7.  This catches bugs in the
15 # vpp build system that can occur on Ubuntu 14.04 when a user may
16 # have both java-7 and java-8 installed.
17 if [ ${OS} == ubuntu1404 ];then
18     sudo update-java-alternatives -s /usr/lib/jvm/java-1.7.0-openjdk-amd64
19 fi
20
21 build-root/vagrant/build.sh