From f911dfb24bf929c38d20d89c8082dfbd7bf1b8a0 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Thu, 24 Jun 2021 15:07:27 +0200
Subject: [PATCH] Fix sed for compiler version

---
 Scripts/developer_scripts/run_testsuite_with_ctest | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Scripts/developer_scripts/run_testsuite_with_ctest b/Scripts/developer_scripts/run_testsuite_with_ctest
index ffec807934a..c5ef3197956 100644
--- a/Scripts/developer_scripts/run_testsuite_with_ctest
+++ b/Scripts/developer_scripts/run_testsuite_with_ctest
@@ -318,7 +318,7 @@ run_test_on_platform()
   else
     echo "CGAL_VERSION ${CGAL_GIT_VERSION}">> "$RESULT_FILE"
   fi
-  sed -n '/The CXX compiler/s/-- The CXX compiler identification is/COMPILER_VERSION = /p' < "${CGAL_BINARY_DIR}/installation.log" >> "$RESULT_FILE"
+  sed -n '/The CXX compiler/s/-- The CXX compiler identification is/COMPILER_VERSION =/p' < "${CGAL_BINARY_DIR}/installation.log" |sed -E "s/ = (.*)/\ = '\1\'/>> "$RESULT_FILE"
   echo "TESTER ${CGAL_TESTER}" >> "$RESULT_FILE"
   echo "TESTER_NAME ${CGAL_TESTER}" >> "$RESULT_FILE"
   echo "TESTER_ADDRESS ${TESTER_ADDRESS}" >> "$RESULT_FILE"