diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-01 07:22:22 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-01 07:22:22 +0200 |
| commit | a4d01b8075bac9c99ca96de1be1975329af85157 (patch) | |
| tree | 2c5d7d31b19c4fe4a5a7adc9fc2349c7bda3c95e /executor | |
| parent | a73c1fd95200ad6a832c884eaa1c34a93952836c (diff) | |
fuzzit.sh: generate descriptions before building
The script does not use make and does not generate descriptions.
Generate descriptions explicitly before building.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions