bug: fix Debian install build (#3175)

coryan · web-flow · commit d23f9312d2ee · 2019-10-02T11:02:40.000-04:00
The `install` stage was duplicated in the Dockerfile, resulting in
incomplete builds (and bad caching).
diff --git a/ci/kokoro/install/Dockerfile.debian b/ci/kokoro/install/Dockerfile.debian
@@ -37,8 +37,6 @@ RUN apt update && \
         pkg-config tar wget zlib1g-dev
 # ```
 
-FROM devtools AS install
-
 # #### crc32c
 
 # There is no Debian package for this library. To install it use:
