diff options
| author |   Brian Nesbitt <brian.nesbitt@owmobility.com> | 2019-01-22 14:47:53 +0000 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2019-01-23 13:49:48 +0000 |
| commit | 194212c005a52db89fbee0190b526a5f023161d0 (patch) | |
| tree | 602193dcbf60d1c2cd45c7f3c649df41e689caa4 /extras/vagrant/run.sh | |
| parent | c0b7a82a924e098a4afde28e9fc327de83da6475 (diff) | |
Initialize gc_mark_timestamp to zero to avoid garbage values.
Change-Id: Ib3f030e906da9828fdad27e19b9efb0c349b0734
Signed-off-by: Brian Nesbitt <brian.nesbitt@owmobility.com>
Diffstat (limited to 'extras/vagrant/run.sh')
0 files changed, 0 insertions, 0 deletions