diff --git a/bin/hmm b/bin/hmm index 161bad67f..37c96423b 100755 --- a/bin/hmm +++ b/bin/hmm @@ -16,6 +16,7 @@ # Common script utilities source $(cd $(dirname $BASH_SOURCE) &> /dev/null && pwd)/../../make/shell_utils.sh +source $ANDROID_BUILD_TOP/vendor/tequila/build/soong/bin/hmm cat <