diff --git a/scripts/run-3 b/scripts/run-3 index 2ed9034..1fbe882 100755 --- a/scripts/run-3 +++ b/scripts/run-3 @@ -62,6 +62,9 @@ for i in $(seq 0 $(expr $instances - 1)); do --rm \ -d \ --name "donarxp_server_${i}" \ + --privileged \ + --cap-add=SYS_PTRACE \ + --security-opt seccomp=unconfined \ -e HOME='/tmp' \ -v `pwd`/out:/home/donar/out \ registry.gitlab.inria.fr/qdufour/donar \ @@ -70,6 +73,9 @@ for i in $(seq 0 $(expr $instances - 1)); do docker run \ --rm \ -d \ + --privileged \ + --cap-add=SYS_PTRACE \ + --security-opt seccomp=unconfined \ --name "donarxp_client_${i}" \ -e HOME='/tmp' \ -v `pwd`/out:/home/donar/out \