diff options
author | David Robillard <d@drobilla.net> | 2019-03-16 23:08:23 +0100 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2019-03-17 10:42:22 +0100 |
commit | 8073c1adcb7eaf23de38abd44b4d76d57747f86b (patch) | |
tree | 544bd2cd4ae190c93aa69187f67e2e924e7b82ea | |
parent | 70d03b82d0cdc623effe1263808d7f31c84e0146 (diff) | |
download | autowaf-8073c1adcb7eaf23de38abd44b4d76d57747f86b.tar.gz autowaf-8073c1adcb7eaf23de38abd44b4d76d57747f86b.tar.bz2 autowaf-8073c1adcb7eaf23de38abd44b4d76d57747f86b.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 5095720..cc6e780 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""" |