Avoid listing .so files as executables

Related: #135
pycontribs · Mar 19, 2023 · db21d98 · db21d98
1 parent ab4b918
commit db21d98
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/samples/integration/typeshed.txt b/samples/integration/typeshed.txt
@@ -1,4 +1,5 @@
 create_baseline_stubs
 generate_proto_stubs
 lint
+sync_tensorflow_protobuf_stubs
 up
diff --git a/src/mk/tools/shell.py b/src/mk/tools/shell.py
@@ -30,6 +30,7 @@ def actions(self) -> List[Action]:
                 os.path.isfile(filename)
                 and os.access(filename, os.X_OK)
                 and filename not in exclude_list
+                and not filename.endswith(".so")
             ):
                 name = os.path.splitext(os.path.basename(filename))[0]
                 actions.append(