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'