[infra] var rename

This commit is contained in:
Mike Aizatsky 2016-12-13 13:09:31 -08:00 committed by GitHub
parent 73b3e93f30
commit 8c4188d921
1 changed files with 2 additions and 2 deletions

View File

@ -38,7 +38,8 @@ def call(body) {
def dockerGit = dockerfileConfig["git"] def dockerGit = dockerfileConfig["git"]
def dockerContextDir = dockerfileConfig["context"] ?: "" def dockerContextDir = dockerfileConfig["context"] ?: ""
def dockerTag = "ossfuzz/$projectName" def dockerTag = "ossfuzz/$projectName"
def dockerRunOptions = "--user $uid --cap-add SYS_PTRACE" def dockerUid = 0 // TODO: try to make $USER to work
def dockerRunOptions = "--user $dockerUid --cap-add SYS_PTRACE"
def date = java.time.format.DateTimeFormatter.ofPattern("yyyyMMddHHmm") def date = java.time.format.DateTimeFormatter.ofPattern("yyyyMMddHHmm")
.format(java.time.LocalDateTime.now()) .format(java.time.LocalDateTime.now())
@ -46,7 +47,6 @@ def call(body) {
node { node {
def workspace = pwd() def workspace = pwd()
// def uid = sh(returnStdout: true, script: 'id -u $USER').trim() // def uid = sh(returnStdout: true, script: 'id -u $USER').trim()
def uid = 0 // TODO: try to make $USER to work
echo "using uid $uid" echo "using uid $uid"
def srcmapFile = "$workspace/srcmap.json" def srcmapFile = "$workspace/srcmap.json"