diff options
| author |   Dave Barach <dave@barachs.net> | 2020-03-12 14:43:04 -0400 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2020-03-12 14:43:36 -0400 |
| commit | 7a91b0e264d1dfd911eec18a265ead2ab8a9ad82 (patch) | |
| tree | 930162f453a32008f2759fcb46f2b4f5d00ec8f5 /src/svm | |
| parent | f3468975d837fbe07c11c55d6ce7a6bf756ea2d8 (diff) | |
vppinfra: remove time jump workaround
A partial revert of gerrit 25729. The last_run_time == 0.0 check is
necessary and remains in place.
Type: fix
Fixes: 3d9f134
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I3d2c9f90b2bc867f02c4749a5b19f997b84185b9
Diffstat (limited to 'src/svm')
0 files changed, 0 insertions, 0 deletions