Searched refs:die (Results 1 – 10 of 10) sorted by relevance
17 function die() { function23 "${@}" > /dev/null || die "Command failed: ${*}"110 die "Run this script from the root of the tree."131 ((DEVICE_COUNT > 0)) || die "No devices found"206 source ./build/envsetup.sh || die "Failed to set up environment"208 UNBUNDLED_BUILD_SDKS_FROM_SOURCE=true m -j "${APKS_TO_BUILD}" || die "Build failed"
19 function die() { function62 die "unknown process: $name"
18 function die { function42 (*) die "Unknown option: '$1'
22 die ( ) { function79 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME86 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…
56 die () { function95 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME102 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…
3421 Hiermit wird unentgeltlich, jeder Person, die eine Kopie der Software 3422 und der zugehörigen Dokumentationen (die "Software") erhält, die 3426 Personen, die diese Software erhalten, diese Rechte zu geben, unter den