diff --git a/Point_set_processing_3/test/Point_set_processing_3/cgal_test_with_cmake b/Point_set_processing_3/test/Point_set_processing_3/cgal_test_with_cmake
index 152bf03508b..069a2262d32 100755
--- a/Point_set_processing_3/test/Point_set_processing_3/cgal_test_with_cmake
+++ b/Point_set_processing_3/test/Point_set_processing_3/cgal_test_with_cmake
@@ -33,7 +33,7 @@
         if [ -z "${MAKE_CMD}" ]; then
           MAKE_CMD=make
         fi
-        MAKE_CMD="${MAKE_CMD} -fMakefile"
+        MAKE_CMD="${MAKE_CMD} VERBOSE=ON -fMakefile"
         MAKE_CLEAN_CMD="${MAKE_CMD} clean"
         ;;
   esac