diff --git a/src/kernel/race.c b/src/kernel/race.c index 8b2632753..c57d98a24 100644 --- a/src/kernel/race.c +++ b/src/kernel/race.c @@ -112,6 +112,9 @@ static void rc_setoption(race *rc, int key, const char *value) { assert(ioptions->value+i; rc->options->key[i] = key; + if (i+1options->key[i+1]=RCO_NONE; + } } } assert(v);