Searched refs:die (Results 1 – 6 of 6) sorted by relevance
30 function die { function46 …$QEMU_IMG | grep "Partition name:" | awk '{print $3}') == "'system'" ]] || die "Partition 1 is not…48 …{8}-[[:xdigit:]]{4}-[[:xdigit:]]{4}-[[:xdigit:]]{4}-[[:xdigit:]]{12} ]] || die "GUID looks incorre…83 [[ $ROOT_DIGEST =~ [[:xdigit:]]{40} ]] || die "ROOT_DIGEST looks incorrect: $ROOT_DIGEST"84 [[ $SALT =~ [[:xdigit:]]{40} ]] || die "SALT looks incorrect: $SALT"
28 function die { function56 die "Don't know anything about $ORG_ALGORITHM"
22 die ( ) { function74 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME81 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…
4546 ffffffff81192f40 T die
10722 ffffffc0101bee20 T die