From 5747dcde1f34832bec5fd3e91924ef75af348344 Mon Sep 17 00:00:00 2001
From: suxunbin <suxunbin@pku.edu.cn>
Date: Fri, 29 Mar 2019 14:55:05 +0800
Subject: [PATCH] Fix a small bug of Dockerfile

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index 8706214..65bb8ac 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -13,6 +13,7 @@ FROM registry.docker-cn.com/library/gcc:8
 RUN apt-get update && apt-get install -y --no-install-recommends realpath \
          ccache \
          vim \
+	 lsof \
          openjdk-8-jdk \
          libreadline-dev \
          libboost-all-dev \