stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8213906: Update arm devkits with libXrandr headers

Browse Source 
Reviewed-by: tbell, prr
This commit is contained in:
Erik Joelsson 2018-11-16 08:25:46 -08:00
parent 673c68d993
commit 4a2d78b9e4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
make/conf/jib-profiles.js
View File

@ -830,8 +830,8 @@ var getJibProfilesDependencies = function (input, common) {
solaris_x64: "SS12u4-Solaris11u1+1.0",
solaris_sparcv9: "SS12u6-Solaris11u3+1.0",
windows_x64: "VS2017-15.5.5+1.0",
linux_aarch64: "gcc7.3.0-Fedora27+1.0",
linux_arm: "gcc7.3.0-Fedora27+1.0"
linux_aarch64: "gcc7.3.0-Fedora27+1.1",
linux_arm: "gcc7.3.0-Fedora27+1.1"
};
var devkit_platform = (input.target_cpu == "x86"