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