From b2b0d9d48629aafb9e47567d246ae0622b8ce89f Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau@cgal.org>
Date: Wed, 20 Mar 2019 10:44:21 +0100
Subject: [PATCH] Push last version of my scripts

---
 .../cgal.geometryfactory.com/bin/cgal_diff_results              | 2 +-
 Maintenance/public_release/scripts/prepare_release              | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/cgal_diff_results b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/cgal_diff_results
index 3424eabc641..ba09b59b185 100755
--- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/cgal_diff_results
+++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/cgal_diff_results
@@ -23,4 +23,4 @@ if ! [ -e "./$to" ]; then
   exit 1
 fi
 
-for f in ${from}/results*txt; do diff -U0 ${1+"$@"} $f ${f/$from/$to}; done |& less
+for f in ${from}/results*txt; do diff -U0 ${1+"$@"} $f ${f/$from/$to}; done |& less -p '^\+[^\+].* [^y]|CGAL-.*|diff'
diff --git a/Maintenance/public_release/scripts/prepare_release b/Maintenance/public_release/scripts/prepare_release
index afdb3f59ee3..2e3f23db0f0 100755
--- a/Maintenance/public_release/scripts/prepare_release
+++ b/Maintenance/public_release/scripts/prepare_release
@@ -1,5 +1,6 @@
 #!/bin/zsh
 
+set -e
 setopt -o glob
 setopt -o extended_glob