Push last version of my scripts

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'

Maintenance/public_release/scripts/prepare_release

@@ -1,5 +1,6 @@
 #!/bin/zsh
 
+set -e
 setopt -o glob
 setopt -o extended_glob