From 10d1d1ef71b1eb4415dcb4e6a0741357372d9f79 Mon Sep 17 00:00:00 2001
From: Thomas Vachuska <tom@onlab.us>
Date: Sun, 20 Nov 2016 09:18:18 -0800
Subject: [PATCH] Added option to 'ok' alias to run sans buckd.

Change-Id: Ie4ff3545d9d4716bce9a75515008416db5d3d40d
---
 tools/dev/bash_profile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile
index 9fb5c14486..3d825a6581 100644
--- a/tools/dev/bash_profile
+++ b/tools/dev/bash_profile
@@ -62,7 +62,7 @@ alias deprecatedAlias='echo "This alias has been deprecated."'
 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'