contrib/ci.inria.fr: finalize pipeline for windows

contrib/ci.inria.fr/Jenkinsfile-windows

@@ -83,8 +83,8 @@ pipeline
 									unstash 'script-windows-build'
 									bat './job-1-check-windows.bat'
 									archiveArtifacts artifacts: "*.zip", fingerprint: true, onlyIfSuccessful: true
-//									if (env.KEEP_WORKING_DIRECTORY != 'true')
-//										deleteDir()
+									if (env.KEEP_WORKING_DIRECTORY != 'true')
+										deleteDir()
 								}
 							}
 						}
@@ -95,43 +95,43 @@ pipeline
 		}
 	}
 
-//	post
-//	{
-//		// hooks are called in order: always, changed, aborted, failure, success, unstable
-//		changed
-//		{
-//			echo "Build status has changed."
-//			script
-//			{
-//
-//				statusHasChanged = true
-//			}
-//		}
-//		success
-//		{
-//			echo "Build success."
-//			// email when changed to success
-//			script
-//			{
-//				if (statusHasChanged)
-//				{
-//					emailext(body: '${DEFAULT_CONTENT}',
-//						 subject: '${DEFAULT_SUBJECT}',
-//						 replyTo: '$DEFAULT_REPLYTO',
-//						 to: '$DEFAULT_RECIPIENTS',
-//						 recipientProviders: [[$class: 'CulpritsRecipientProvider'],[$class: 'RequesterRecipientProvider']])
-//				}
-//			}
-//		}
-//		failure
-//		{
-//			echo "Build failure."
-//			// always email on failure
-//			emailext(body: '${DEFAULT_CONTENT}',
-//				 subject: '${DEFAULT_SUBJECT}',
-//				 replyTo: '$DEFAULT_REPLYTO',
-//				 to: '$DEFAULT_RECIPIENTS',
-//				 recipientProviders: [[$class: 'CulpritsRecipientProvider'],[$class: 'RequesterRecipientProvider']])
-//		}
-//	}
+	post
+	{
+		// hooks are called in order: always, changed, aborted, failure, success, unstable
+		changed
+		{
+			echo "Build status has changed."
+			script
+			{
+
+				statusHasChanged = true
+			}
+		}
+		success
+		{
+			echo "Build success."
+			// email when changed to success
+			script
+			{
+				if (statusHasChanged)
+				{
+					emailext(body: '${DEFAULT_CONTENT}',
+						 subject: '${DEFAULT_SUBJECT}',
+						 replyTo: '$DEFAULT_REPLYTO',
+						 to: '$DEFAULT_RECIPIENTS',
+						 recipientProviders: [[$class: 'CulpritsRecipientProvider'],[$class: 'RequesterRecipientProvider']])
+				}
+			}
+		}
+		failure
+		{
+			echo "Build failure."
+			// always email on failure
+			emailext(body: '${DEFAULT_CONTENT}',
+				 subject: '${DEFAULT_SUBJECT}',
+				 replyTo: '$DEFAULT_REPLYTO',
+				 to: '$DEFAULT_RECIPIENTS',
+				 recipientProviders: [[$class: 'CulpritsRecipientProvider'],[$class: 'RequesterRecipientProvider']])
+		}
+	}
 }