From 1a1a425235c768d3b3555589728a1414e9af5135 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Thu, 22 Aug 2019 08:13:02 +0200
Subject: [PATCH] The parallel build seems to be stable

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 2ed269d..af431a5 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -27,7 +27,7 @@ RUN apt-get update && apt-get install -y \
     git checkout -qf 3f93d9f2aa9f3d6856c812340250398203cd591c && \
     mkdir -p /opt/amiga && \
     make update && \
-    make all && \
+    make -j4 all && \
     cd / && \
     rm -rf /root/amiga-gcc && \
     apt-get purge -y \