From 7b7f1449689d4f43e0c281e2ce587dba4aba0e9e Mon Sep 17 00:00:00 2001
From: Marvin Zhang <tikazyq@gmail.com>
Date: Fri, 31 May 2019 19:11:08 +0800
Subject: [PATCH] updated Jenkinsfile

---
 Jenkinsfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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