summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--wscript3
1 files changed, 3 insertions, 0 deletions
diff --git a/wscript b/wscript
index 5755468..dc81baa 100644
--- a/wscript
+++ b/wscript
@@ -66,3 +66,6 @@ def build(bld):
autowaf.build_dox(bld, 'RAUL', RAUL_VERSION, srcdir, blddir)
install_files('PREFIX', 'share/doc/raul', blddir + '/default/doc/html/*')
+def shutdown():
+ autowaf.shutdown()
+