diff --git a/Scripts/developer_scripts/create_cgal_test_with_cmake b/Scripts/developer_scripts/create_cgal_test_with_cmake index 9d461fecc53..b2087381f17 100755 --- a/Scripts/developer_scripts/create_cgal_test_with_cmake +++ b/Scripts/developer_scripts/create_cgal_test_with_cmake @@ -55,8 +55,13 @@ create_script() echo "# - running the script should not require any user interaction" echo "# - the script should clean up object files and executables" echo - echo "ERRORFILE=error.txt" - echo "DO_RUN=${DO_RUN}" +cat << EOF + ERRORFILE=error.txt + DO_RUN=${DO_RUN} + if [ -z "\${MAKE_CMD}" ]; then + MAKE_CMD=make + fi +EOF echo header "configure" echo