.gitlab-ci.yml: another workaround for options-generator

.gitlab-ci.yml

@@ -75,8 +75,9 @@ Scan-Build/Debian:
     - ./bootstrap
     - scan-build --use-cc=clang-3.8 ./configure $CONFIGURE_BASE_FLAGS --enable-build-type=debug --disable-sanitizers
     - ln -s "$(which ccache)" "$(pwd)/clang-3.8"
-    - scan-build --use-cc="$(pwd)/clang-3.8" -v --exclude "$(pwd)/src/include" -enable-checker security,nullability --status-bugs -o scan-build make -j$(nproc)
-    - scan-build --use-cc="$(pwd)/clang-3.8" -v --exclude "$(pwd)/src/include" -enable-checker security,nullability --status-bugs -o scan-build make -k check
+    - (cd src/include/ && make CC="$(pwd)/clang-3.8") # options-generator is badly broken
+    - scan-build --use-cc="$(pwd)/clang-3.8" -v -enable-checker security,nullability --status-bugs -o scan-build make -j$(nproc)
+    - scan-build --use-cc="$(pwd)/clang-3.8" -v -enable-checker security,nullability --status-bugs -o scan-build make -k check
   except:
     - tags
   artifacts: