Merge pull request #3409 from phiros/dist_drone_script_fail_if_gh_label_not_set

dist: make drone build script fail if gh label not set

dist/tools/drone-scripts/build_and_test.sh

@@ -47,7 +47,7 @@ trap 'rm -rf "$MYTMPDIR"' EXIT
 # Check for PRs and labels
 FULL_CHECK=true
 if [ -z "$FORCE_FULL_CHECK" ]; then
-    if [ $CI_PULL_REQUEST != false ] && ! [ -z "$CI_PULL_REQUEST" ]; then
+    if [ "$CI_PULL_REQUEST" != false ] && ! [ -z "$CI_PULL_REQUEST" ]; then
         # Pull request
         # Check for labels
         . ./dist/tools/pr_check/check_labels.sh
@@ -70,6 +70,7 @@ if $FULL_CHECK; then
     |& tee -a "$MYTMPDIR/output.log"
 else
     echo "PR not ready for CI build. Only static-tests will be executed!"
+    ((FAILURES++))
     exec_build_func static-tests "$@" |& tee -a "$MYTMPDIR/output.log"
 fi