diff --git a/truffleproc.sh b/truffleproc.sh index a17db20..37be5b0 100755 --- a/truffleproc.sh +++ b/truffleproc.sh @@ -16,6 +16,8 @@ CONTAINER="${CONTAINER_IMAGE}@${CONTAINER_SHA}" main() { ensure_sudo + ensure_bin "gdb" + echo "# coredumping pid ${PID}" coredump_pid @@ -37,6 +39,10 @@ ensure_sudo() { sudo touch /dev/null } +ensure_bin() { + which "$1" > /dev/null +} + coredump_pid() { cd "${TMP_DIR}"