From 4f571cc95cbad2b1d8a6e94f3240edeac54d3c08 Mon Sep 17 00:00:00 2001
From: Jaehwang Jerry Jung <tomtomjhj@gmail.com>
Date: Fri, 24 Jul 2020 04:24:48 -0700
Subject: [PATCH] [infer][PR] add patchelf back to master/Dockerfile

Summary:
This was removed in D19272627 but not added back in D21998484.

Pull Request resolved: https://github.com/facebook/infer/pull/1290

Reviewed By: dulmarod

Differential Revision: D22665397

Pulled By: jvillard

fbshipit-source-id: 8417e405a
---
 docker/master/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docker/master/Dockerfile b/docker/master/Dockerfile
index d8ab1ddc3..b441e2782 100644
--- a/docker/master/Dockerfile
+++ b/docker/master/Dockerfile
@@ -22,6 +22,7 @@ RUN apt-get update && \
       make \
       openjdk-11-jdk-headless \
       patch \
+      patchelf \
       pkg-config \
       python3.7 \
       python3-distutils \
@@ -56,6 +57,7 @@ RUN cd /infer && \
 RUN cd /infer && \
     make install-with-libs \
     BUILD_MODE=opt \
+    PATCHELF=patchelf \
     DESTDIR="/infer-release" \
     libdir_relative_to_bindir="../lib"