diff options
Diffstat (limited to 'scripts/BuildDemos.py')
| -rw-r--r-- | scripts/BuildDemos.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/BuildDemos.py b/scripts/BuildDemos.py index eef88db78f..8b7aaecf30 100644 --- a/scripts/BuildDemos.py +++ b/scripts/BuildDemos.py @@ -88,7 +88,14 @@ if __name__ == "__main__": print("%s demo validation failed: %s" % (demo, e)) if demo not in ignoredDemos: demosFailed = True - removeDir(demo) + except EnvironmentError as e: + print("%s demo validation failed: %s" % (demo, e)) + if demo not in ignoredDemos: + demosFailed = True + try: + removeDir(demo) + except: + pass print("") if demosFailed: sys.exit(1) |