From f32cd505a8b06494aa90105b047afa722d30a2ff Mon Sep 17 00:00:00 2001
From: Pierre Labastie <pierre.labastie@neuf.fr>
Date: Sat, 7 May 2022 20:40:27 +0200
Subject: [PATCH] Load the optimize functions even if optimize=0

wrt_makeflags is needed to pass NINJAJOBS=1 in this case.
---
 jhalfs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/jhalfs b/jhalfs
index c276538..b0470b3 100755
--- a/jhalfs
+++ b/jhalfs
@@ -281,8 +281,10 @@ if [[ "$SAVE_CH5" = "y" ]]; then
 fi
 #
 # optimize module
+# the optimize_functions file is needed for wrt_makeflags even
+# if optimize=0, because we need to pass NINJAJOBS=1
+load_file optimize/optimize_functions 'Loading optimization module'
 if [[ "$OPTIMIZE" != "0" ]]; then
-  load_file optimize/optimize_functions 'Loading optimization module'
   #
   # optimize configurations
   load_file optimize/opt_config 'Loading optimization config'