diff --git a/doc/doxygen.warnings.report.sh b/doc/doxygen.warnings.report.sh index 6eb6b22d0..ab2974b63 100755 --- a/doc/doxygen.warnings.report.sh +++ b/doc/doxygen.warnings.report.sh @@ -559,6 +559,12 @@ if [ "$filterin" != "" ] ; then echo "Filtered Warnings" echo "========================================" echo "$filterin" +elif [ "$filter_log_results" != "" ] ; then + echo + echo + echo "Warnings" + echo "========================================" + echo "$filter_log_results" fi status_report 0 $me