From df08c02246f1bb44d840cdacaf0a6f71c1370ceb Mon Sep 17 00:00:00 2001
From: Mike Aizatsky <mike.aizatsky@gmail.com>
Date: Mon, 10 Oct 2016 13:28:42 -0700
Subject: [PATCH] Update libfuzzer-pipeline.groovy

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

diff --git a/infra/libfuzzer-pipeline.groovy b/infra/libfuzzer-pipeline.groovy
index 1945f197f..2a79c6a66 100644
--- a/infra/libfuzzer-pipeline.groovy
+++ b/infra/libfuzzer-pipeline.groovy
@@ -38,7 +38,7 @@ def call(body) {
 
     node {
       def workspace = pwd()
-      def revisionsFile = "$workspace/$projectName.rev"
+      def revisionsFile = "$workspace/${projectName}.rev"
       def dockerTag = "ossfuzz/$projectName"
       echo "Building $dockerTag"