diff options
| author | Joachim StroĢmbergson <joachim@assured.se> | 2019-01-17 13:02:13 +0100 |
|---|---|---|
| committer | Joachim StroĢmbergson <joachim@assured.se> | 2019-01-17 13:02:13 +0100 |
| commit | f7c9cd18767f30259a285c3fd20a0905bea2b2d4 (patch) | |
| tree | 0944681fa91ab03994dff5a7b73358809994e3b1 /toolruns/Makefile | |
| parent | 5827799dd22a582c304142e5fa63add4ca92b065 (diff) | |
Added non-zero default timeout value in core. This fixes the keywrap problems by not automatically reset the key in the API. Enabled all testcases and disabled excessive debug outputs.
Diffstat (limited to 'toolruns/Makefile')
0 files changed, 0 insertions, 0 deletions