diff options
| author | chriseth <chris@ethereum.org> | 2017-07-13 01:06:04 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-07-14 03:47:29 +0800 |
| commit | d3b447c20368dab68636e79b893547757fdab8df (patch) | |
| tree | eee2540c21eff168e917e35e389a9063728209d3 /scripts | |
| parent | 41e5b2c3c2a84f395da03bfd4cf5bf8586f9df3f (diff) | |
| download | dexon-solidity-d3b447c20368dab68636e79b893547757fdab8df.tar.gz dexon-solidity-d3b447c20368dab68636e79b893547757fdab8df.tar.zst dexon-solidity-d3b447c20368dab68636e79b893547757fdab8df.zip | |
Ignore the docs build directory.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/isolate_tests.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/isolate_tests.py b/scripts/isolate_tests.py index d075b07f..cfaef210 100755 --- a/scripts/isolate_tests.py +++ b/scripts/isolate_tests.py @@ -83,7 +83,9 @@ if __name__ == '__main__': if len(sys.argv) > 2 and sys.argv[2] == 'docs': docs = True - for root, dir, files in os.walk(path): + for root, subdirs, files in os.walk(path): + if '_build' in subdirs: + subdirs.remove('_build') for f in files: path = join(root, f) if docs: |