[infra] listing fuzzers

This commit is contained in:
Mike Aizatsky 2016-08-11 16:04:20 -07:00
parent 5b9032cba8
commit c9a0bbb119
1 changed files with 9 additions and 4 deletions

View File

@ -80,10 +80,15 @@ def call(body) {
stage name: "Running fuzzers" stage name: "Running fuzzers"
dir ('out') { dir ('out') {
def files = findFiles() for (int i = 0; i < sanitizers.size(); i++) {
for (int i = 0; i < files.size(); i++) { def sanitizer = sanitizers[i]
def file = files[i] dir (sanitizer) {
echo "FILES: $file" def files = findFiles()
for (int j = 0; j < files.size(); j++) {
def file = files[j]
echo "FILES: $file"
}
}
} }
} }
} }