diff options
author | Max <msuraev@sysmocom.de> | 2017-10-20 16:08:29 +0200 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2017-10-20 18:17:42 +0000 |
commit | d7ee5759cb3296ef32b6dc1858882a122c358165 (patch) | |
tree | c2e003e340eb2f6b5702cded844ef92c8b8dac79 /contrib | |
parent | 15b05fef7691701186b1e4310634f5ce6acbd1fc (diff) |
Disable doxygen in jenkins for embedded tests
There's no point in regenerating documentation with Doxygen in embedded
environment.
Change-Id: I6504db04445f5e9c1117379c8803e10df5634324
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins-arm.sh | 1 |
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" |