diff options
| author |  Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-10-19 11:14:17 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2021-10-19 10:14:17 +0100 |
| commit | f043a72a0e632455f9939383efd60c131973c570 (patch) | |
| tree | 8b71cadaca6694b314c1e8cd0c1e8691afdf081d /projects/cmake | |
| parent | fd2e1a750b8a8e244eb783c2797422580fb9a30e (diff) | |
[kryo] Fix build in anticipation of a Jazzer breaking change (#6616)
Jazzer now uses ':' instead of ';' to separate JVM arguments.
Diffstat (limited to 'projects/cmake')
0 files changed, 0 insertions, 0 deletions