diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-11-17 15:20:57 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-12-21 14:59:04 +0100 |
| commit | b9fa06564ced0621ea4fc6d537a6ce6d594e6256 (patch) | |
| tree | 5d987cae46e3d847f96c210ca74c24311bd84d2d /bin/bootstrap.py | |
| parent | a4820f96f92b885287c1e48b71e0ca0f0d431db4 (diff) | |
| download | justbuild-b9fa06564ced0621ea4fc6d537a6ce6d594e6256.tar.gz | |
Bootstrap: Exclude other_tools folder from source files gathering
Diffstat (limited to 'bin/bootstrap.py')
| -rwxr-xr-x | bin/bootstrap.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/bootstrap.py b/bin/bootstrap.py index a8030e12..211570a2 100755 --- a/bin/bootstrap.py +++ b/bin/bootstrap.py @@ -261,6 +261,8 @@ def bootstrap(): dirs.remove('test') if 'execution_api' in dirs: dirs.remove('execution_api') + if 'other_tools' in dirs: + dirs.remove('other_tools') for f in files: if f.endswith(".cpp"): cpp_files.append(os.path.join(root, f)) |