tools/check_api_source_without_core_ops.py (#25671)

5 years ago · 2f95e66313
parent a1350744eb
commit 2f95e66313
1 changed files with 1 additions and 1 deletions
--- a/tools/check_api_source_without_core_ops.py
+++ b/tools/check_api_source_without_core_ops.py
@ -40,7 +40,7 @@ diffs = []
 for each_diff in result:
    if each_diff[0] == '+':
        api_name = each_diff.split(' ')[1].strip()
-        if api_name in api_without_ops:
+        if api_name in api_without_ops and api_name.find('sequence') == -1:
            error = True
            diffs += [api_name]