From 3e444f507b576e6eb5c7a452ad25c1ae55efd6b0 Mon Sep 17 00:00:00 2001 From: Kevin Hoerr Date: Wed, 25 Feb 2026 19:50:13 +0000 Subject: dev.sh: Allow ASLR bypass to enable coverage reporting --- dev.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'dev.sh') diff --git a/dev.sh b/dev.sh index fb7a3f8..1b2fb47 100755 --- a/dev.sh +++ b/dev.sh @@ -37,6 +37,7 @@ $OCI_RUNTIME run -it \ --mount type=bind,source=$GPG_SOCK_DIR/S.gpg-agent.ssh,target=$CONTAINER_SSH \ -w $CONTAINER_WORKDIR \ --userns=keep-id:uid=$NS_UID,gid=$NS_GID \ + --security-opt=seccomp=unconfined \ --env SSH_AUTH_SOCK=$CONTAINER_SSH \ $DEV_IMAGE \ $CONTAINER_SHELL -- cgit v1.3