diff options
-rwxr-xr-x | vtysh/extract.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/vtysh/extract.pl b/vtysh/extract.pl index 8f2dcb9d..4a49a621 100755 --- a/vtysh/extract.pl +++ b/vtysh/extract.pl @@ -96,9 +96,9 @@ foreach (@ARGV) { } if ($file =~ /plist.c/) { if ($defun_array[1] =~ m/ipv6/) { - $protocol = "VTYSH_RIPNGD|VTYSH_BGPD"; + $protocol = "VTYSH_RIPNGD|VTYSH_OSPF6D|VTYSH_BGPD"; } else { - $protocol = "VTYSH_RIPD|VTYSH_BGPD"; + $protocol = "VTYSH_RIPD|VTYSH_OSPFD|VTYSH_BGPD"; } } if ($file =~ /distribute.c/) { |