diff options
| author | David Robillard <d@drobilla.net> | 2019-03-16 23:08:23 +0100 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2019-03-17 00:31:46 +0100 |
| commit | 902c176fd827226e03f4313582077413d24b2556 (patch) | |
| tree | 5dfac87235c6abe918328462ef800b9c69384216 | |
| parent | afea77b7a5a96e63f4cedd0f7182ae0ba90db1bf (diff) | |
| download | autowaf-902c176fd827226e03f4313582077413d24b2556.tar.gz autowaf-902c176fd827226e03f4313582077413d24b2556.tar.bz2 autowaf-902c176fd827226e03f4313582077413d24b2556.zip | |
Make make_simple_dox() safe in case of exception
| -rw-r--r-- | extras/autowaf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extras/autowaf.py b/extras/autowaf.py index 66d409b..297ca0b 100644 --- a/extras/autowaf.py +++ b/extras/autowaf.py @@ -623,7 +623,8 @@ def make_simple_dox(name): os.chdir(top) except Exception as e: Logs.error("Failed to fix up %s documentation: %s" % (name, e)) - + finally: + os.chdir(top) def build_dox(bld, name, version, srcdir, blddir, outdir='', versioned=True): """Build Doxygen API documentation""" |