message: Jenkins: always include backend in build
diff: @@ -13,7 +13,7 @@ pipeline {
  sh 'git submodule deinit -f .'
  sh 'git clean -ff -x -d .'
  sh 'git submodule update --init --recursive --force'
  - sh 'make BUILD_TYPE=Debug'
  + sh 'make BUILD_TYPE=Debug BUILD_BACKEND=1'
  }
  }
  stage('Ubuntu 16.04 Release') {
  @@ -26,7 +26,7 @@ pipeline {
  sh 'git submodule deinit -f .'
  sh 'git clean -ff -x -d .'
  sh 'git submodule update --init --recursive --force'
  - sh 'make BUILD_TYPE=Release'
  + sh 'make BUILD_TYPE=Release BUILD_BACKEND=1'
  }
  }
  stage('Ubuntu 18.04 Debug') {
  @@ -39,7 +39,7 @@ pipeline {
  sh 'git submodule deinit -f .'
  sh 'git clean -ff -x -d .'
  sh 'git submodule update --init --recursive --force'
  - sh 'make BUILD_TYPE=Debug'
  + sh 'make BUILD_TYPE=Debug BUILD_BACKEND=1'
  }
  }
  stage('Ubuntu 18.04 Release') {
  @@ -52,7 +52,7 @@ pipeline {
  sh 'git submodule deinit -f .'
  sh 'git clean -ff -x -d .'
  sh 'git submodule update --init --recursive --force'
  - sh 'make BUILD_TYPE=Release'
  + sh 'make BUILD_TYPE=Release BUILD_BACKEND=1'
  }
  }
  stage('Fedora 27 Debug') {
  @@ -65,7 +65,7 @@ pipeline {
  sh 'git submodule deinit -f .'
  sh 'git clean -ff -x -d .'
  sh 'git submodule update --init --recursive --force'
  - sh 'make BUILD_TYPE=Debug'
  + sh 'make BUILD_TYPE=Debug BUILD_BACKEND=1'
  }
  }
  stage('Fedora 27 Release') {
  @@ -78,7 +78,7 @@ pipeline {
  sh 'git submodule deinit -f .'
  sh 'git clean -ff -x -d .'
  sh 'git submodule update --init --recursive --force'
  - sh 'make BUILD_TYPE=Release'
  + sh 'make BUILD_TYPE=Release BUILD_BACKEND=1'
  }
  }
  stage('Fedora 28 Debug') {
  