Idris/personal-tooling
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Fix multithreading

Browse source
This commit is contained in:
Nathan McCarty 2024-12-20 08:43:21 +00:00
parent 7e3aa68942
commit 66bb33b332
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/upload.raku
View file

@ -72,7 +72,7 @@ sub MAIN() {
# For each of our idris files, find the ttm, and generate the output in the # For each of our idris files, find the ttm, and generate the output in the
# temporary directory # temporary directory
for @idris-files.hyper -> $idr { for @idris-files.hyper :batch(1) -> $idr {
render-idris-file $idr; render-idris-file $idr;
# TODO : Build index # TODO : Build index
} }