diff --git a/scripts/site_gates.py b/scripts/site_gates.py index b4ecc585..e58a96bd 100644 --- a/scripts/site_gates.py +++ b/scripts/site_gates.py @@ -287,7 +287,14 @@ for p in sorted(SHELL): if not m: fail("%s: no