Index: Jenkins/TestRegen
===================================================================
--- Jenkins/TestRegen	(revision 7e492e4ce5e85bc792472fd922a5a7ed2f91ce49)
+++ Jenkins/TestRegen	(revision d0cf740960e7b0d6a1aaa654da24f27983ace9ac)
@@ -93,4 +93,6 @@
 def email() {
 
+	def target_dir = pwd tmp: true
+
 	def email_subject = "[cforall dashboard][TEST REGEN# ${env.BUILD_NUMBER}] - Result"
 	def email_body = """This is an automated email from the Jenkins build machine. It was
@@ -98,5 +100,5 @@
 
 	//send email notification
-	emailext body: email_body, subject: email_subject, to: user_email, attachmentsPattern: '**/result.patch'
+	emailext body: email_body, subject: email_subject, to: user_email, attachmentsPattern: "${target_dir}/result.patch"
 }