diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2017-10-10 20:07:15 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2017-10-10 20:07:15 +0200 |
| commit | 5df7c3cd510bdee41b62f9a494c4faab5706e2ac (patch) | |
| tree | fda32e3918f9231192684dbe6ca296cbfa2f9173 /rtemstoolkit | |
| parent | 662e1f7d9adb8b0e98af20f5bd01f954efc4207b (diff) | |
Install missing files
Diffstat (limited to 'rtemstoolkit')
| -rw-r--r-- | rtemstoolkit/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rtemstoolkit/wscript b/rtemstoolkit/wscript index 81ab647..0500075 100644 --- a/rtemstoolkit/wscript +++ b/rtemstoolkit/wscript @@ -143,6 +143,7 @@ def build(bld): 'mailer.py', 'options.py', 'path.py', + 'reraise.py', 'stacktraces.py', 'textbox.py', 'version.py', |