diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2021-06-21 12:21:42 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-06-21 12:24:36 -0700 |
| commit | d823b7bd975dd2926324971a08f97522b41dd6e7 (patch) | |
| tree | 848368c7670b082c220b77d8456aa353c63e187c /g3doc/user_guide | |
| parent | aa8a6fa2f3c9daccb834a7e5ba558a8badb4a729 (diff) | |
Add gcore to list of supported tools
PiperOrigin-RevId: 380636877
Diffstat (limited to 'g3doc/user_guide')
| -rw-r--r-- | g3doc/user_guide/compatibility.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/g3doc/user_guide/compatibility.md b/g3doc/user_guide/compatibility.md index 9d3e3680f..894ac741d 100644 --- a/g3doc/user_guide/compatibility.md +++ b/g3doc/user_guide/compatibility.md @@ -61,6 +61,7 @@ Most common utilities work. Note that: | drill | Working. | | env | Working. | | find | Working. | +| gcore | Working. | | gdb | Working. | | gosu | Working. | | grep | Working (unless stdin is a pipe and stdout is /dev/null). | |