Removing TTY from docker.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos 2023-01-30 12:05:03 +01:00
parent 8540fdcf19
commit bac15d5472
No known key found for this signature in database
GPG key ID: C0095B7870A4CCD3

View file

@ -95,7 +95,7 @@ run_in_docker()
shift 2
fi
${DOCKER} container run -it --rm \
${DOCKER} container run --rm \
--cap-add SYS_PTRACE \
--volume $PWD:$PWD \
--workdir ${WORKDIR} \