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