dev.sh: Allow ASLR bypass to enable coverage reporting

1 files changed, 1 insertions, 0 deletions

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