talkatu/builders

Parents a17b7c93556f
Children 22e3ca915ca1
We need to hack in an argument to scanbuild to make bugs fatal
--- a/Dockerfile.scanbuild Tue Jul 31 20:53:20 2018 -0500
+++ b/Dockerfile.scanbuild Fri Aug 03 21:09:22 2018 -0500
@@ -8,5 +8,7 @@
apt-get clean && \
rm -rf /var/lib/apt/lists
+COPY scanbuild/scan-build /usr/local/bin
+
COPY scanbuild/build.sh /
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/scanbuild/scan-build Fri Aug 03 21:09:22 2018 -0500
@@ -0,0 +1,4 @@
+#!/bin/sh -ex
+
+/usr/bin/scan-build-4.0 --status-bugs $@
+