From 66bb33b332191fd9e447ac8458ef2b0e46e898ca Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Fri, 20 Dec 2024 08:43:21 +0000
Subject: [PATCH] Fix multithreading

---
 src/upload.raku | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/upload.raku b/src/upload.raku
index 964e506..83503bb 100755
--- a/src/upload.raku
+++ b/src/upload.raku
@@ -72,7 +72,7 @@ sub MAIN() {
 
     # For each of our idris files, find the ttm, and generate the output in the
     # temporary directory
-    for @idris-files.hyper -> $idr {
+    for @idris-files.hyper :batch(1) -> $idr {
         render-idris-file $idr;
         # TODO : Build index
     }