Home
last modified time | relevance | path

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

/development/scripts/
Dbash_util.bash19 function die() { function
62 die "unknown process: $name"
/development/vndk/snapshot/
Dbuild.sh18 function die { function
42 (*) die "Unknown option: '$1'
/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…