Update 'Jenkins/master.jenkins'

Jenkins/master.jenkins

@@ -25,7 +25,7 @@ pipeline {
       success {
         echo 'I succeeeded!'
         sh 'cat $JENKINS_HOME/jobs/$JOB_NAME/builds/$BUILD_NUMBER/log > /tmp/success.log'
-		sh 'sed '/8mha/d' success.log >> new.log' >> new.log
+		sh "sed '/8mha/d' success.log >> new.log" >> new.log
 		sh 'getlog --file new.log'
 
       }