diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-15 17:52:15 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-18 11:34:42 +0200 |
| commit | 4836c13c61f1945da510fc12d1c93a51603aaf04 (patch) | |
| tree | 2fda621d09c4939b6785e5c54d305ba58b7c440d /.github | |
| parent | 910f427fd92a0679f6c7c487c79d2a40241e1a89 (diff) | |
tools/syz-make: rename from syz-env
syz-env will be a good, short name for the planned
docker-ized build environment. So rename syz-env to syz-make.
Maybe not the best name, but it's not visible basically anywhere.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions