Add ssh flag

gussmith23 · Dec 23, 2021 · ad9cad0 · ad9cad0
1 parent 786ad52
commit ad9cad0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -33,7 +33,7 @@ RUN --mount=type=ssh git clone --recursive [email protected]:uwsampl/3la-tvm.git tv
 WORKDIR /root/tvm
 RUN --mount=type=ssh git fetch
 RUN git checkout 405c12370e9195854c533fdd2b1307d43b8335a2
-RUN git submodule sync && git submodule update
+RUN --mount=type=ssh git submodule sync && git submodule update
 RUN echo 'set(USE_LLVM $ENV{LLVM_CONFIG_PATH})' >> config.cmake
 RUN echo 'set(USE_RPC ON)' >> config.cmake
 RUN echo 'set(USE_SORT ON)' >> config.cmake