diff options
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 5f68cf1..ac0e419 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -40,12 +40,7 @@ for build in $BUILDS; do app=`echo $build | cut -d "/" -f 2` echo echo "=============== $board / $app START ==============" - # reduce the trace level so the bl fits - if [ $board = "ngff_cardem" ] && [ $app = "dfu" ]; then - make BOARD="$board" APP="$app" TRACE_LEVEL=2 - else - make BOARD="$board" APP="$app" - fi + make BOARD="$board" APP="$app" echo "=============== $board / $app RES:$? ==============" done |