Fix to allow the errexit option (bash -e)

Scripts/developer_scripts/autotest_cgal_with_ctest

@@ -114,8 +114,7 @@ download_latest()
 abort_if_latest_already_tested()
 {
   if [ -r "RELEASE_NR" ]; then
-    cmp LATEST RELEASE_NR >> "${ACTUAL_LOGFILE}"
-    if [ ! ${?} != 0 ]; then
+    if cmp LATEST RELEASE_NR >> "${ACTUAL_LOGFILE}"; then
       log "${ACTUAL_LOGFILE}" "This release has already been tested."
       rm -f "$LOCK_FILE";
       exit 1;