diff --git a/build/gen_dev_docker.sh b/build/gen_dev_docker.sh index 2bdaa1b8bd..37efabe4f4 100755 --- a/build/gen_dev_docker.sh +++ b/build/gen_dev_docker.sh @@ -72,9 +72,21 @@ sudo docker run --rm `# delete (temporary) image after return` \\ --security-opt seccomp=unconfined \\ -v "${HOME}:${HOME}" `# Mount home directory` \\ \${ccache_args} \\ - ${image} + ${image} "\$@" EOF +cat <