| commit | b1fa40d2b3b17b632abdef3123431f5cf72b89bd | [log] [tgz] |
|---|---|---|
| author | Yuta HIGUCHI <y-higuchi@ak.jp.nec.com> | Wed Feb 22 11:28:13 2017 -0800 |
| committer | Thomas Vachuska <tom@onlab.us> | Mon Mar 06 16:04:29 2017 +0000 |
| tree | 6ea48ad91a455008e20f7c4c2be3c44e53f5efff | |
| parent | 8b155b20d8c11a5b0de3bf2866b182df9a446834 [diff] |
Give user option to use buckd at their own risk. To kill running buckd process: $ buck kill Change-Id: Ie773f8f943c6e13e4a16f38fa6b62a1f69356f9b
diff --git a/tools/build/onos-buck b/tools/build/onos-buck index 2129490..de1fb8f 100755 --- a/tools/build/onos-buck +++ b/tools/build/onos-buck
@@ -41,5 +41,9 @@ BUCK=$ROOT_DIR/bin/buck +if [ "${ONOS_NO_BUCKD:-1}" == "1" ]; then + export NO_BUCKD=1 +fi + # Finally, run the Buck command... -NO_BUCKD=1 $BUCK "$@" +$BUCK "$@"