From 35f6261ab5a2804a07b64c07262f2aa273463e10 Mon Sep 17 00:00:00 2001
From: Pierre Labastie <pierre.labastie@neuf.fr>
Date: Fri, 4 Nov 2022 13:19:18 +0100
Subject: [PATCH] Run the master Makefile with -j1

Also remove some instructions that are only useful for debugging.
---
 common/common-functions | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/common/common-functions b/common/common-functions
index 3893511..cac3da1 100644
--- a/common/common-functions
+++ b/common/common-functions
@@ -34,10 +34,10 @@ run_make() {                 #
     # Build the system
     if [ -e "$MKFILE" ] ; then
       echo -ne "Building the system...\n"
-      if { echo try tty; tty; }; then
-      cd "$JHALFSDIR" && make
+#      if { echo try tty; tty; }; then
+      cd "$JHALFSDIR" && make -j1
       echo -ne "done\n"
-      else echo there is no terminal!!; fi
+#      else echo there is no terminal!!; fi
     fi
   fi
 }