From ff709810eb1d8b2e088293e33a03bf50af66f866 Mon Sep 17 00:00:00 2001
From: Matteo Visconti di Oleggio Castello <mvdoc@berkeley.edu>
Date: Thu, 9 May 2024 17:32:37 -0700
Subject: [PATCH] FIX pass workdir to gen_case

---
 make_headcase.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/make_headcase.py b/make_headcase.py
index 62e09d7..4f82cfd 100644
--- a/make_headcase.py
+++ b/make_headcase.py
@@ -459,6 +459,7 @@ def pipeline(
             outfile,
             casetype=casetype,
             nparts=nparts,
+            workdir=workdir,
             customizations=customizations,
         )
     else: