Fix Dockerfile by using LIBOS_RELEASE=1

2019-12-01 02:14:21 +00:00 · 2019-12-01 02:14:21 +00:00 · e09c747b84
commit e09c747b84
parent 814ea21997
1 changed files with 1 additions and 1 deletions
--- 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