diff options
author | Josep Puigdemont <josep.puigdemont@gmail.com> | 2016-04-27 13:57:36 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2016-04-27 13:57:36 +0000 |
commit | e96eb8a9d8a0ed76908418190ea02013a4564268 (patch) | |
tree | 11af76fad8664f24cf5ee618df9980830a0b019c /Makefile | |
parent | 2b6438241dd467748cf7ab4b592ae109cff2dcec (diff) | |
parent | e37d8766bf5429e4664b82c67e2575d48a3c738c (diff) |
Merge "Makefile: Finalize RPM repo switch."
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -80,7 +80,7 @@ build: PRODUCT_NAME=mos \ CENTOS_MAJOR=7 \ EXTRA_RPM_REPOS="armband,http://linux.enea.com/mos-repos/centos/mos8.0-centos7-fuel/armband/x86_64,10" \ - LATEST_MIRROR_ID_URL=http://linux.enea.com/ \ + MIRROR_MOS_UBUNTU=linux.enea.com \ JAVA8_URL=https://launchpad.net/~openjdk-r/+archive/ubuntu/ppa/+files/openjdk-8-jre-headless_8u72-b15-1~trusty1_arm64.deb \ $(EXTRA_PARAMS) \ iso 2>&1 | tee ${root}/build.log |