| Index: tools/linux-tick-processor
|
| diff --git a/tools/linux-tick-processor b/tools/linux-tick-processor
|
| index 2de988cc4b38049cd6e4cbb0ec72d06f36c98938..3df7ce1864b30b682a833fe68139b13c2bded182 100755
|
| --- a/tools/linux-tick-processor
|
| +++ b/tools/linux-tick-processor
|
| @@ -1,6 +1,10 @@
|
| #!/bin/sh
|
|
|
| tools_path=`cd $(dirname "$0");pwd`
|
| +if [ ! "$D8_PATH" ]; then
|
| + d8_public=`which d8`
|
| + if [ $d8_public ]; then D8_PATH=$(dirname "$d8_public"); fi
|
| +fi
|
| [ "$D8_PATH" ] || D8_PATH=$tools_path/..
|
| d8_exec=$D8_PATH/d8
|
|
|
|
|