diff --git a/buildconfig/Jenkins/buildscript b/buildconfig/Jenkins/buildscript index 8896521dd3a5be4614b3c86c49c03099510aac6c..5794d07ecc614f0feed35c1d3068b8589d419181 100755 --- a/buildconfig/Jenkins/buildscript +++ b/buildconfig/Jenkins/buildscript @@ -87,16 +87,16 @@ if [[ ${PRBUILD} == true ]]; then # ubuntu does docs testing if [[ ${ON_UBUNTU} == true ]]; then DO_DOCTESTS_USER=true - if ${SCRIPT_DIR}/check_for_changes dev-docs-only; then - DO_BUILD_CODE=false - DO_UNITTESTS=false - DO_DOCTESTS_USER=false - DO_BUILD_DEVDOCS=true - fi - if ${SCRIPT_DIR}/check_for_changes user-docs-only; then - DO_BUILD_CODE=true # make sure code is up to date on this node - DO_UNITTESTS=false - fi +# if ${SCRIPT_DIR}/check_for_changes dev-docs-only; then +# DO_BUILD_CODE=false +# DO_UNITTESTS=false +# DO_DOCTESTS_USER=false +# DO_BUILD_DEVDOCS=true +# fi +# if ${SCRIPT_DIR}/check_for_changes user-docs-only; then +# DO_BUILD_CODE=true # make sure code is up to date on this node +# DO_UNITTESTS=false +# fi fi # rhel does system testing if [[ ${ON_RHEL7} == true ]]; then