talkatu/builders

We no longer needs the scan-build helper script

2019-04-30, Gary Kramlich
55dc1d0acf07
Parents 6697994b91f1
Children 02ca3d8bb07e
We no longer needs the scan-build helper script
2 files changed, 0 insertions(+), 6 deletions(-)
  • +0 -2
    Dockerfile.scanbuild
  • +0 -4
    scanbuild/scan-build
    • --- a/Dockerfile.scanbuild Tue Apr 30 13:48:00 2019 -0500
    +++ b/Dockerfile.scanbuild Tue Apr 30 14:47:52 2019 -0500
    @@ -8,7 +8,5 @@
    apt-get clean && \
    rm -rf /var/lib/apt/lists
    -COPY scanbuild/scan-build /usr/local/bin
    -
    COPY scanbuild/build.sh /
    --- a/scanbuild/scan-build Tue Apr 30 13:48:00 2019 -0500
    +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
    @@ -1,4 +0,0 @@
    -#!/bin/sh -ex
    -
    -/usr/bin/scan-build-4.0 --status-bugs $@
    -