diff options
| author | Dean Deng <deandeng@google.com> | 2020-08-05 08:33:52 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-08-05 08:35:41 -0700 |
| commit | a2e129b540e530c56cb7648ae7e04325c6e763b1 (patch) | |
| tree | 174ba837aed9fb7bfda7228758a81f6f252843b5 /scripts/dev.sh | |
| parent | 0e6f7a12c29efa52581c38ca30637b133556a6cf (diff) | |
Add missing case in tmpfs.inode.direntType.
This was discovered by syzkaller.
PiperOrigin-RevId: 325025193
Diffstat (limited to 'scripts/dev.sh')
0 files changed, 0 insertions, 0 deletions