diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-04-29 18:58:37 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-04-29 18:58:37 +0200 |
| commit | f938793e7892639d5cea894aae447ed256f51c41 (patch) | |
| tree | db92850e5f22644cbb09d3700a54e14034d58b73 | |
| parent | 18c09acf9fd040644515a4ae2f56d38517d71825 (diff) | |
Ignore invalid folders in `platform`
Fixes #4479
| -rw-r--r-- | SConstruct | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SConstruct b/SConstruct index 6d6fe2859c..a2c5edf5e0 100644 --- a/SConstruct +++ b/SConstruct @@ -23,7 +23,7 @@ platform_exporters=[] global_defaults=[] for x in glob.glob("platform/*"): - if (not os.path.isdir(x)): + if (not os.path.isdir(x) or not os.path.exists(x+"/detect.py")): continue tmppath="./"+x |