diff options
Diffstat (limited to 'Makefile-riscos')
-rw-r--r-- | Makefile-riscos | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile-riscos b/Makefile-riscos index d7c938b..1f05f28 100644 --- a/Makefile-riscos +++ b/Makefile-riscos @@ -19,6 +19,7 @@ SED := sed TOUCH := touch LCOV := echo GENHTML := echo +DOXYGEN := doxygen # Toolchain flags WARNFLAGS := -Wall -Wextra -Wundef -Wpointer-arith -Wcast-align \ |