Searched refs:die (Results 1 – 6 of 6) sorted by relevance
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…
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