From e9637bf7b35362cc47690daa18a9208e8c62f522 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Thu, 1 Nov 2012 13:58:24 +0000
Subject: [PATCH] Fix the exit code of the script

---
 .../developer_scripts/detect_files_with_mixed_eol_styles | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Scripts/developer_scripts/detect_files_with_mixed_eol_styles b/Scripts/developer_scripts/detect_files_with_mixed_eol_styles
index ecd515b1998..03498aa6308 100755
--- a/Scripts/developer_scripts/detect_files_with_mixed_eol_styles
+++ b/Scripts/developer_scripts/detect_files_with_mixed_eol_styles
@@ -1,3 +1,8 @@
-#/bin/bash
+#!/bin/bash
+
+if grep -lE '[^'`printf '\r'`']$' $(ack -l "`printf '\r'`\$" ${@:-.}); then
+   exit 1
+else
+   exit 0
+fi
 
-grep -lE '[^'`printf '\r'`']$' $(ack -l "`printf '\r'`\$" ${@:-.})