diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-03-23 07:21:42 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-03-23 07:40:36 +0100 |
| commit | 3fd488915755766eb499ae8e002677734c64809e (patch) | |
| tree | b69d25d585b2d5676b519a78e58078d395f09de2 /testsuites/sptests/Makefile.am | |
| parent | 37e7cc5f4ce7ed46b5ea2de56d9066d121d851cb (diff) | |
conf: Improve evaluation of event recording opts
Check for configuration errors earlier. Allow fatal dumps without the
other extensions. Add some warnings.
Update #3904.
Diffstat (limited to 'testsuites/sptests/Makefile.am')
0 files changed, 0 insertions, 0 deletions