From e19298f82fe4461b52ecd60f6afa641a1fab1c4c Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Mon, 4 Aug 2025 17:07:32 +0200
Subject: [PATCH] build-system: work-around for bash(?) bug in calling make

---
 Pmodules/libpbuild.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pmodules/libpbuild.bash b/Pmodules/libpbuild.bash
index 0cc602d..4c88765 100644
--- a/Pmodules/libpbuild.bash
+++ b/Pmodules/libpbuild.bash
@@ -637,7 +637,7 @@ pbuild::compile() {
 	local -- v_save="$V"
 	unset V
 	(( JOBS == 0 )) && JOBS=$(_get_num_cores)
-	${make} -j${JOBS} || \
+	/bin/bash -c ${make} -j${JOBS} -e || \
 		std::die 3 \
 			 "%s " "${module_name}/${module_version}:" \
 			 "compilation failed!"