From f346d6baa7cb7cfba4d45d51434ebe6174b48e38 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Tue, 23 Oct 2012 08:27:01 +0000 Subject: [PATCH] Follow-up of r73184: patch the date and CGAL version in man(1) pages --- Installation/auxiliary/cgal_create_cmake_script.1 | 2 +- Scripts/developer_scripts/cgal_test_with_cmake | 2 ++ Scripts/developer_scripts/create_cgal_test | 1 + 3 files changed, 4 insertions(+), 1 deletion(-) diff --git a/Installation/auxiliary/cgal_create_cmake_script.1 b/Installation/auxiliary/cgal_create_cmake_script.1 index c2e36ddfee6..862e1195240 100644 --- a/Installation/auxiliary/cgal_create_cmake_script.1 +++ b/Installation/auxiliary/cgal_create_cmake_script.1 @@ -1,4 +1,4 @@ -.TH CGAL_CREATE_CMAKE_SCRIPT "1" "October 2012" "CGAL 4.1" "User Commands" +.TH CGAL_CREATE_CMAKE_SCRIPT "1" "@DATE@" "CGAL @CGAL_VERSION@" "User Commands" .SH NAME cgal_create_cmake_script \- create a cmake script for applications using CGAL .SH SYNOPSIS diff --git a/Scripts/developer_scripts/cgal_test_with_cmake b/Scripts/developer_scripts/cgal_test_with_cmake index d888c301401..ee4c8181a01 100755 --- a/Scripts/developer_scripts/cgal_test_with_cmake +++ b/Scripts/developer_scripts/cgal_test_with_cmake @@ -13,4 +13,6 @@ fi [ ! -x cgal_test_with_cmake ] && echo "No cgal_test_with_cmake in current directory, creating it" && create_cgal_test_with_cmake ${in_demo} ./cgal_test_with_cmake $@ +RESULT=$? cat error.txt +exit $RESULT diff --git a/Scripts/developer_scripts/create_cgal_test b/Scripts/developer_scripts/create_cgal_test index 706427ac936..e472be4cc95 100755 --- a/Scripts/developer_scripts/create_cgal_test +++ b/Scripts/developer_scripts/create_cgal_test @@ -81,6 +81,7 @@ configure() echo "Configuring... " if eval 'cmake "\$CMAKE_GENERATOR" -DRUNNING_CGAL_AUTO_TEST=TRUE \\ + -DCMAKE_BUILD_TYPE=Debug \\ -DCGAL_DIR="\$CGAL_DIR" \\ .' ; then