Use make instead of ninja

DLR-AMR · Nov 20, 2024 · 0a0ae2a · 0a0ae2a
1 parent 2349300
commit 0a0ae2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dependencies/ubuntu/Dockerfile b/dependencies/ubuntu/Dockerfile
@@ -58,7 +58,7 @@ RUN git clone https://gcc.gnu.org/git/gcc.git gcc-source ; \
     git checkout remotes/origin/releases/gcc-12 ; \
     mkdir -p gcc-12-build && cd gcc-12-build ; \
     ./../configure --enable-languages=c,c++ ; \
-    ninja -j4; \
+    make -j4; \
     make install; \
     cd ../.. && rm -rf gcc-source