diff --git a/tools/tools_input.json b/tools/tools_input.json index f7411e6e..fc77cad8 100644 --- a/tools/tools_input.json +++ b/tools/tools_input.json @@ -414,6 +414,7 @@ "src/ppp.c", "src/routeradvertisement.c", "src/routing.c", + "src/ipv6rd.c" "src/common.c" ] },