From eb85a9b322e65cb70eabe1359e05d50be436767c Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Mon, 13 Jan 2020 02:48:55 -0800
Subject: [PATCH] [infer] Update docker build script

Summary:
This diff changes the build target from `install-with-libs` to `install` since the former has been
removed.

https://github.com/facebook/infer/issues/1207

Reviewed By: ngorogiannis

Differential Revision: D19272627

fbshipit-source-id: be730c1b7
---
 docker/master/Dockerfile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/docker/master/Dockerfile b/docker/master/Dockerfile
index d865c5f35..86b2f2c6d 100644
--- a/docker/master/Dockerfile
+++ b/docker/master/Dockerfile
@@ -22,7 +22,6 @@ RUN apt-get update && \
       make \
       openjdk-8-jdk-headless \
       patch \
-      patchelf \
       pkg-config \
       python2.7 \
       unzip \
@@ -57,9 +56,8 @@ RUN cd /infer && \
 
 # Generate a release
 RUN cd /infer && \
-    make install-with-libs \
+    make install \
     BUILD_MODE=opt \
-    PATCHELF=patchelf \
     DESTDIR="/infer-release" \
     libdir_relative_to_bindir="../lib"