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 |