diff --git a/tools/build/options/WITH_EXTRA_TCP_STACKS b/tools/build/options/WITH_EXTRA_TCP_STACKS deleted file mode 100644 index ca30b52a5903..000000000000 --- a/tools/build/options/WITH_EXTRA_TCP_STACKS +++ /dev/null @@ -1 +0,0 @@ -Build extra TCP stack modules.