Home
last modified time | relevance | path

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

/development/scripts/
Dbash_util.bash19 function die() { function
62 die "unknown process: $name"
/development/samples/training/testingfun/
Dgradlew22 die ( ) { function
79 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
86 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…
/development/tools/checkcolor/
Dgradlew22 die ( ) { function
79 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
86 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…
/development/samples/devbytes/telephony/SmsSampleProject/
Dgradlew22 die ( ) { function
79 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
86 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…