diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-11-15 12:10:25 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-11-15 16:41:33 +0100 |
| commit | 16b3cb3fca46ccb5e3aee31adf936d6635777269 (patch) | |
| tree | 37d37374e17fbb6d5db074f5578a0e03fa6f3ecc /minici.cabal | |
| parent | 3f6c94f897231b407e3c976e8d789d420ee5e6b7 (diff) | |
Work around copyFile leaving descriptor open in child processes
Diffstat (limited to 'minici.cabal')
| -rw-r--r-- | minici.cabal | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/minici.cabal b/minici.cabal index c8a9d3a..d209a28 100644 --- a/minici.cabal +++ b/minici.cabal @@ -70,6 +70,9 @@ executable minici autogen-modules: Paths_minici + c-sources: + src/FileUtils.c + default-extensions: DefaultSignatures ExistentialQuantification |