diff --git a/scripts/dev_cli.sh b/scripts/dev_cli.sh index a8be7d1d9..e18ef4b40 100755 --- a/scripts/dev_cli.sh +++ b/scripts/dev_cli.sh @@ -248,6 +248,7 @@ cmd_tests() { --workdir "$CTR_CLH_ROOT_DIR" \ --rm \ --privileged \ + --mount type=tmpfs,destination=/tmp \ --volume /dev:/dev \ --volume "$CLH_ROOT_DIR:$CTR_CLH_ROOT_DIR" \ --volume "$CLH_INTEGRATION_WORKLOADS:$CTR_CLH_INTEGRATION_WORKLOADS" \