diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2018-01-23 14:48:07 +0100 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2018-01-23 14:48:07 +0100 |
| commit | e5ff7929c4d85b84496cdfc46f006b8cd1b4c0e5 (patch) | |
| tree | 9b5ba67a6cfbe14b68be4fa67a194a098e830e1d /sysdep/unix/krt.Y | |
| parent | def6efa1ef98966424a73923832c6912acefc0ba (diff) | |
KRT: Remove useless option
Diffstat (limited to 'sysdep/unix/krt.Y')
| -rw-r--r-- | sysdep/unix/krt.Y | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sysdep/unix/krt.Y b/sysdep/unix/krt.Y index 1cb28389..31f5f1d4 100644 --- a/sysdep/unix/krt.Y +++ b/sysdep/unix/krt.Y @@ -78,7 +78,6 @@ kern_item: cf_error("Learning of kernel routes not supported on this platform"); #endif } - | DEVICE ROUTES bool { THIS_KRT->devroutes = $3; } | GRACEFUL RESTART bool { THIS_KRT->graceful_restart = $3; } | MERGE PATHS bool kern_mp_limit { krt_set_merge_paths(this_channel, $3, $4); |