Cross Reference: /seL4-camkes-master/tools/rumprun/app-tools/rumprun

49 die ()
138 		[ ! -d "${TMPDIR}" ] || die ${TMPDIR} already exists
139 		mkdir -p "${TMPDIR}" || die could not create ${TMPDIR}
141 		    || { rm -rf "${TMPDIR}" ; die could not chmod ${TMPDIR}; }
149 	[ -f "$1" ] || die "file not found: $1"
256 	[ ${json_depth} -ne 0 ] || die internal json error
373 	[ -n "${IMGSDIR}" ] || die 'internal error: $IMGSDIR not set'
380 	    || die image \"${image}\" already exists in images
415 	[ -f "$image" ] || die "File $image does not exist"
431 	    || die 'Cannot find ${READELF}. Set $READELF env variable'
467 			[ "${NETSTYLE:=o}" = "o" ] || die -n/-I are incompatible
490 			[ "${NETSTYLE:=n}" = "n" ] || die -n/-I are incompatible
509 				die "'gdbsx' is required for -D, please install it."
536 	[ -f "$app" ] || die "rumprun unikernel $1 does not exist"
556 		die xl create failed
588 	    || die 'Cannot find ${READELF}. Set $READELF env variable'
612 			die -d not supported on qemu/kvm
628 			[ "${NETSTYLE:=n}" = "n" ] || die -n/-I are incompatible
636 			[ "${NETSTYLE:=o}" = "o" ] || die -n/-I are incompatible
682 	[ ${json_depth} -eq 0 ] || die internal error, final depth ${json_depth}
703 	[ -z "${DUMPCMD}" ] || die -D not supported by iso.  Use -T.
705 	type xorriso >/dev/null || die bake_iso needs xorriso
706 	type grub-mkrescue >/dev/null || die bake_iso needs grub-mkrescue
728 			die -d not supported on iso
731 			die -D not supported on iso
737 			die -i not supported on iso
744 			die -M not supported on iso
750 			die -p not supported on iso
765 	[ ! -f ${opt_name} ] || die target ${opt_name} already exists
770 	[ ${json_depth} -eq 0 ] || die internal error, final depth ${json_depth}
795 	mkdir -p "${EC2DIR}" || die cannot create ${EC2DIR}
806 			die -d not supported on ec2
809 			die -D not supported on ec2
815 			die -i not supported on ec2
822 			die -M not supported on ec2
828 			die -p not supported on ec2
844 	[ ! -f ${finaldir} ] || die target ${finaldir} already exists
849 	[ ${json_depth} -eq 0 ] || die internal error, final depth ${json_depth}