mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-10-04 19:28:50 +08:00
Suppress unnecessary traceback (#6253)
This commit is contained in:
1 parent
4601581e83
commit
0958692028
1 file changed
+9
-6
@@ -142,12 +142,15 @@ def main():
|
||||
else:
|
||||
dists = [typeshed_dir / "stubs" / d for d in args.dists]
|
||||
|
||||
for i, dist in enumerate(dists):
|
||||
if i % args.num_shards != args.shard_index:
|
||||
continue
|
||||
if dist.name in EXCLUDE_LIST:
|
||||
continue
|
||||
run_stubtest(dist)
|
||||
try:
|
||||
for i, dist in enumerate(dists):
|
||||
if i % args.num_shards != args.shard_index:
|
||||
continue
|
||||
if dist.name in EXCLUDE_LIST:
|
||||
continue
|
||||
run_stubtest(dist)
|
||||
except StubtestFailed:
|
||||
sys.exit(1)
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
|
||||
Reference in new issue
Block a user