contrib/ci.inria.fr: update Jenkinsfile-windows

contrib/ci.inria.fr/Jenkinsfile-windows

@@ -79,7 +79,7 @@ pipeline
 								{
 									unstash 'tarballgz'
 									unstash 'script-windows-check'
-									sh './job-1-check-windows.sh'
+									sh 'sh ./job-1-check-windows.sh'
 									deleteDir()
 								}
 							}
@@ -91,43 +91,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']])
+//		}
+//	}
 }