From 901962f6c911c7a46c99962f84bfc6038d45ee99 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Fri, 19 May 2017 00:54:23 +0200
Subject: [PATCH] cmds: avoid duplicated compilation of ip tools

---
 sys/src/cmd/cmds.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sys/src/cmd/cmds.json b/sys/src/cmd/cmds.json
index e6bdd8e..0ef58e3 100644
--- a/sys/src/cmd/cmds.json
+++ b/sys/src/cmd/cmds.json
@@ -105,7 +105,6 @@
 			"grep/",
 			"hjfs/",
 			"hoc/",
-			"ip/",
 			"ndb/",
 			"rc/",
 			"rio/",