From 7b766f591a2e8bc07868e4c43c7bcfccd580ed52 Mon Sep 17 00:00:00 2001
From: Mike Aizatsky <mike.aizatsky@gmail.com>
Date: Thu, 3 Nov 2016 16:13:18 -0700
Subject: [PATCH] Update libfuzzer-pipeline.groovy

---
 infra/libfuzzer-pipeline.groovy | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infra/libfuzzer-pipeline.groovy b/infra/libfuzzer-pipeline.groovy
index 99776d090..95dcfa8b5 100644
--- a/infra/libfuzzer-pipeline.groovy
+++ b/infra/libfuzzer-pipeline.groovy
@@ -84,6 +84,7 @@ def call(body) {
             // def srcmapText = groovy.json.JsonOutput.toJson(srcmap)
             // echo "srcmapText: $srcmapText"
             // writeFile file: srcmapFile text: srcmapText
+            sh "cp $workspace/srcmap.json.tmp $srcmap"
         } // stage("docker image")
 
         for (int i = 0; i < sanitizers.size(); i++) {