diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-12-03 07:10:27 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-12-03 07:11:06 +0100 |
| commit | 0adc07be4da562b2e80622c45330b748ec262deb (patch) | |
| tree | 1e880f0d152d9a599b8b572a2b65f764ecf624c0 | |
| parent | spec: Review Timer Manager API (diff) | |
| download | rtems-central-0adc07be4da562b2e80622c45330b748ec262deb.tar.bz2 | |
config.yml: Add extra file
| -rw-r--r-- | config.yml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -34,6 +34,7 @@ build: - testsuites/validation/tr-event-send-receive.h - testsuites/validation/tr-object-ident.h - testsuites/validation/tr-object-ident-local.h + - testsuites/validation/ts-default.h - waf - wscript uids: |