diff options
| author | Rob Austein <sra@hactrn.net> | 2018-08-21 15:06:04 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2019-01-22 23:48:26 -0500 |
| commit | f310140136b755c3c0ce92488349709082293163 (patch) | |
| tree | 7a49a2bb9806a394a6f2595e6fa9c8a7f242120f /build/Makefile | |
| parent | 9d385dafb57e9dc16b6c4c4e4376ebf246da545e (diff) | |
Add explicit check for timing failure, per Pavel.
Diffstat (limited to 'build/Makefile')
0 files changed, 0 insertions, 0 deletions