Skip to content

Commit 85a62be

Browse files
authored
kore: Build executables with -eventlog (#1935)
Compiling with -eventlog by default has no discernible overhead, but allows the user to enable the eventlog at runtime without recompiling.
1 parent edcd219 commit 85a62be

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

kore/package.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -156,6 +156,7 @@ library:
156156
source-dirs: src
157157

158158
_common-exe: &common-exe
159+
ghc-options: -eventlog
159160
when:
160161
- condition: flag(threaded)
161162
then:

0 commit comments

Comments
 (0)