| commit | 5fdf5bf3cacf016699b38457715311c81e0eacd3 | [log] [tgz] |
|---|---|---|
| author | Thomas Vachuska <tom@onlab.us> | Fri Nov 04 15:10:13 2016 +0100 |
| committer | Thomas Vachuska <tom@onlab.us> | Fri Nov 04 15:10:13 2016 +0100 |
| tree | 499ffb2c4f6437e6cb8e674abca26fd66d548ff8 | |
| parent | a195755c03dcb219e566121445fc6a5c5fab1d28 [diff] [blame] |
onos-local-log now works with buck run Change-Id: I086ed7e4825ba19d920815f5946bf778bb90f3c6
diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile index 4999963..79f80f2 100644 --- a/tools/dev/bash_profile +++ b/tools/dev/bash_profile
@@ -59,7 +59,7 @@ alias obi=deprecatedAlias alias obs=deprecatedAlias -alias ok='buck run onos-local' +alias ok='buck run onos-local --' alias oh='onos localhost halt' alias ol='onos-log'