summaryrefslogtreecommitdiffhomepage
path: root/g3doc/user_guide/compatibility.md
diff options
context:
space:
mode:
authorFabricio Voznika <fvoznika@google.com>2021-06-21 12:21:42 -0700
committergVisor bot <gvisor-bot@google.com>2021-06-21 12:24:36 -0700
commitd823b7bd975dd2926324971a08f97522b41dd6e7 (patch)
tree848368c7670b082c220b77d8456aa353c63e187c /g3doc/user_guide/compatibility.md
parentaa8a6fa2f3c9daccb834a7e5ba558a8badb4a729 (diff)
Add gcore to list of supported tools
PiperOrigin-RevId: 380636877
Diffstat (limited to 'g3doc/user_guide/compatibility.md')
-rw-r--r--g3doc/user_guide/compatibility.md1
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). |