No longer need to build sparse from source

The distro version is now sufficiently up to date.

Author: mpe

build/ubuntu/Dockerfile

@@ -46,12 +46,6 @@ RUN apt-get -q -y update && \
 COPY ubuntu/make-links.sh /tmp/make-links.sh
 RUN /tmp/make-links.sh ${compiler_version} && rm /tmp/make-links.sh
 
-RUN cd /tmp && \
-    git clone https://git.kernel.org/pub/scm/devel/sparse/sparse.git && \
-    sed -i -e "s/HAVE_LLVM:=.*/HAVE_LLVM:=no/" sparse/Makefile && \
-    make -C sparse PREFIX=/usr/local install && \
-    rm -rf sparse
-
 ARG uid
 ARG gid