Follow-up of r73184: patch the date and CGAL version in man(1) pages

2012-10-23 08:27:01 +00:00 · 2012-10-23 08:27:01 +00:00 · f346d6baa7
parent a0a88a3767
commit f346d6baa7
3 changed files with 4 additions and 1 deletions
--- 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
--- 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
--- 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