Added option to 'ok' alias to run sans buckd.

Change-Id: Ie4ff3545d9d4716bce9a75515008416db5d3d40d
diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile
index 9fb5c14..3d825a6 100644
--- a/tools/dev/bash_profile
+++ b/tools/dev/bash_profile
@@ -62,7 +62,7 @@
 alias obi=deprecatedAlias
 alias obs=deprecatedAlias
 
-alias ok='buck run onos-local --'
+alias ok='NO_BUCKD=1 buck run onos-local --'
 alias oh='onos localhost halt'
 
 alias ol='onos-log'