From 545eb77722e130c5e77f4727403928d420516b0a Mon Sep 17 00:00:00 2001
From: Marvin Zhang <tikazyq@gmail.com>
Date: Fri, 31 May 2019 18:59:59 +0800
Subject: [PATCH] updated Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3e12162c..bdd0d92a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent crawlab
+    agent {crawlab}
 
     stages {
         stage('Build Frontend') {