diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-11-28 18:26:56 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-11-28 18:26:56 +0100 |
| commit | ee3c2c3591a91265076bd89515cb217a5ea5a561 (patch) | |
| tree | 5ecacc4a59f494737a8546c353a203c9a6287af4 /executor | |
| parent | ef040b21d2b975b842a25d4488483b91c0336fd7 (diff) | |
tools: enable bpg jit in create-image.sh
JIT should be more interesting to fuzz.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions