diff options
Diffstat (limited to 'jjb/vpp')
-rw-r--r-- | jjb/vpp/include-raw-vpp-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/vpp/include-raw-vpp-build.sh b/jjb/vpp/include-raw-vpp-build.sh index e5a9be3f1..043f92d72 100644 --- a/jjb/vpp/include-raw-vpp-build.sh +++ b/jjb/vpp/include-raw-vpp-build.sh @@ -15,7 +15,7 @@ fi # vpp build system that can occur on Ubuntu 14.04 when a user may # have both java-7 and java-8 installed. if [ ${OS} == ubuntu1404 ];then - sudo update-java-alternatives /usr/lib/jvm/java-1.7.0-openjdk-amd64 + sudo update-java-alternatives -s /usr/lib/jvm/java-1.7.0-openjdk-amd64 fi build-root/vagrant/build.sh |