diff options
Diffstat (limited to 'Projects/MIDIToneGenerator/makefile')
| -rw-r--r-- | Projects/MIDIToneGenerator/makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Projects/MIDIToneGenerator/makefile b/Projects/MIDIToneGenerator/makefile index 768b61253..60963e49c 100644 --- a/Projects/MIDIToneGenerator/makefile +++ b/Projects/MIDIToneGenerator/makefile @@ -697,7 +697,9 @@ clean_list : doxygen: @echo Generating Project Documentation \($(TARGET)\)... - @doxygen Doxygen.conf + @if ( doxygen Doxygen.conf 2>&1 | grep "warning" ;); then \ + exit 1; \ + fi; @echo Documentation Generation Complete. clean_doxygen: |