aboutsummaryrefslogtreecommitdiff
path: root/net/mininet/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'net/mininet/Makefile')
-rw-r--r--net/mininet/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/net/mininet/Makefile b/net/mininet/Makefile
index ade0fc753cb3..c87e19dfb963 100644
--- a/net/mininet/Makefile
+++ b/net/mininet/Makefile
@@ -26,7 +26,7 @@ USE_GITHUB= yes
GH_ACCOUNT= akoshibe
GH_TAGNAME= b88c58c
-OPTIONS_DEFINE= DOCS
+OPTIONS_DEFINE= DOCS EXAMPLES
do-build:
@${CC} ${WRKSRC}/mnexec.c -o ${BUILD_WRKSRC}/mnexec