circleci run tests under code coverage (#6273)

* use regular optimization levels for the code coverage build.
 * the mixer test fails intermittently when built without optimization
This commit is contained in:
Daniel Agar
2017-01-09 16:08:40 -05:00
committed by GitHub
parent 768485c083
commit dc787830b5
4 changed files with 6 additions and 13 deletions
+1 -1
View File
@@ -12,4 +12,4 @@ docker run -it --rm -w ${SRC_DIR} \
-v ${CCACHE_DIR}:${CCACHE_DIR}:rw \
-e CCACHE_DIR=${CCACHE_DIR} \
-e LOCAL_USER_ID=`id -u` \
px4io/px4-dev-nuttx:2017-01-07 /bin/bash -c "$@"
px4io/px4-dev-nuttx:2017-01-08 /bin/bash -c "$@"