diff --git a/Documentation/doc/scripts/compare_testsuites.sh b/Documentation/doc/scripts/compare_testsuites.sh index ec4e941e451..8196c30c548 100644 --- a/Documentation/doc/scripts/compare_testsuites.sh +++ b/Documentation/doc/scripts/compare_testsuites.sh @@ -40,8 +40,8 @@ cd .. echo "Output generated" if ! [ -d "$DOC_REF" ]; then echo "No reference given. Script is finished." - exit 2 + exit 0 fi #diff the output and the reference output, ignoring the differences in whitespaces -diff -u -N -w ./doc_data $DOC_REF > ./diff.txt +diff -u -N -w ./doc_data $DOC_REF > ./diff.txt || true diff --git a/Documentation/doc/scripts/test_doxygen_versions.sh b/Documentation/doc/scripts/test_doxygen_versions.sh index b8e3082d7db..d179c92b26f 100644 --- a/Documentation/doc/scripts/test_doxygen_versions.sh +++ b/Documentation/doc/scripts/test_doxygen_versions.sh @@ -47,7 +47,7 @@ make -j$NB_CORES doc &> /dev/null echo "done." cd ../ #scripts echo "Creating text files for diff...." -bash compare_testsuites.sh $PWD/build_doc/doc_output 1> /dev/null +bash -$- compare_testsuites.sh $PWD/build_doc/doc_output 1> /dev/null mv ./doc_data ./doc_ref echo "done." @@ -82,7 +82,7 @@ cd ../ #scripts DOXYGEN_1=$($PATH_TO_1 --version) DOXYGEN_2=$($PATH_TO_2 --version) echo "Comparing results..." -bash ./compare_testsuites.sh $PWD/build_doc/doc_output $PWD/doc_ref 1> /dev/null +bash -$- ./compare_testsuites.sh $PWD/build_doc/doc_output $PWD/doc_ref 1> /dev/null echo "done." #add post-processing cd ./build_doc