diff options
-rw-r--r-- | tools/gitpod/gitpod.Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gitpod/gitpod.Dockerfile b/tools/gitpod/gitpod.Dockerfile index 8dac0d597..23e4f3728 100644 --- a/tools/gitpod/gitpod.Dockerfile +++ b/tools/gitpod/gitpod.Dockerfile @@ -35,7 +35,7 @@ WORKDIR ${WORKSPACE} # Build numpy to populate the cache used by ccache RUN git config --global --add safe.directory /workspace/numpy -RUN git submodule update --init --depth=1 -- numpy/core/src/umath/svml +RUN git submodule update --init --depth=1 -- numpy/core/src/umath/svml numpy/core/src/npysort/x86-simd-sort RUN conda activate ${CONDA_ENV} && \ python setup.py build_ext --inplace && \ ccache -s |