summaryrefslogtreecommitdiffstats
path: root/contrib
diff options
context:
space:
mode:
Diffstat (limited to 'contrib')
-rwxr-xr-xcontrib/jenkins-arm.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/jenkins-arm.sh b/contrib/jenkins-arm.sh
index beb53dad..e0c75fa6 100755
--- a/contrib/jenkins-arm.sh
+++ b/contrib/jenkins-arm.sh
@@ -7,6 +7,7 @@ build() {
--prefix=/usr/local/arm-none-eabi \
--host=arm-none-eabi \
--enable-embedded \
+ --disable-doxygen \
--disable-shared \
CFLAGS="-Os -ffunction-sections -fdata-sections -nostartfiles -nodefaultlibs -Werror"