Home
last modified time | relevance | path

Searched refs:die (Results 1 – 4 of 4) sorted by relevance

/tools/ndkports/
Dgradlew40 die () { function
78 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
85 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…
/tools/trebuchet/
Dgradlew40 die () { function
78 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
85 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…
/tools/metalava/
Dgradlew40 die () { function
78 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
85 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…
/tools/asuite/asuite_plugin/
Dgradlew40 die () { function
78 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
85 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…