diff options
Diffstat (limited to '')
| -rw-r--r-- | tester/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tester/wscript b/tester/wscript index 24d54b3..76cf79d 100644 --- a/tester/wscript +++ b/tester/wscript @@ -56,6 +56,7 @@ def build(bld): 'rt/check.py', 'rt/config.py', 'rt/console.py', + 'rt/coverage.py', 'rt/gdb.py', 'rt/options.py', 'rt/report.py', |