From e09c747b84612da4b774862585f676a3ba0c550f Mon Sep 17 00:00:00 2001
From: "Tate, Hongliang Tian" <tate.thl@antfin.com>
Date: Sun, 1 Dec 2019 02:14:21 +0000
Subject: [PATCH] Fix Dockerfile by using LIBOS_RELEASE=1

---
 tools/docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile
index 5e43d9e2..a661f1b0 100644
--- a/tools/docker/Dockerfile
+++ b/tools/docker/Dockerfile
@@ -77,7 +77,7 @@ WORKDIR /root
 RUN git clone https://github.com/occlum/occlum && \
     cd occlum && \
     make submodule && \
-    make RELEASE=1 && \
+    make LIBOS_RELEASE=1 && \
     make install && \
     cp -r demos /root/demos && \
     rm -rf /root/occlum