diff options
Diffstat (limited to 'Projects/MissileLauncher/makefile')
-rw-r--r-- | Projects/MissileLauncher/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Projects/MissileLauncher/makefile b/Projects/MissileLauncher/makefile index aa11e1f4f..d6ac02840 100644 --- a/Projects/MissileLauncher/makefile +++ b/Projects/MissileLauncher/makefile @@ -693,7 +693,7 @@ clean_list : doxygen: @echo Generating Project Documentation \($(TARGET)\)... - @if ( doxygen Doxygen.conf 2>&1 | grep ": warning:" ;); then \ + @if ( doxygen Doxygen.conf 2>&1 | grep -v "warning: ignoring unsupported tag" ;); then \ exit 1; \ fi; @echo Documentation Generation Complete. |