diff --git a/Scripts/developer_scripts/create_cgal_test_with_cmake b/Scripts/developer_scripts/create_cgal_test_with_cmake index 02ba927e67f..3696a550cd3 100755 --- a/Scripts/developer_scripts/create_cgal_test_with_cmake +++ b/Scripts/developer_scripts/create_cgal_test_with_cmake @@ -147,7 +147,7 @@ EOF tmp=`basename $file .C` tmp=`basename $tmp .cpp` cat < /dev/null; then +if \${MAKE_CMD} -f Makefile help | grep -E "$tmp\$" > /dev/null; then compile_and_run $tmp NEED_CLEAN=y fi