diff --git a/Dockerfile b/Dockerfile index e7652fed74..6eb16c75cb 100644 --- a/Dockerfile +++ b/Dockerfile @@ -11,6 +11,7 @@ ARG SKIP_AP_EXT_ENV=0 ARG SKIP_AP_GRAPHIC_ENV=1 ARG SKIP_AP_COV_ENV=1 ARG SKIP_AP_GIT_CHECK=1 +ARG DO_AP_STM_ENV=1 RUN groupadd ${USER_NAME} --gid ${USER_GID}\ && useradd -l -m ${USER_NAME} -u ${USER_UID} -g ${USER_GID} -s /bin/bash @@ -33,6 +34,7 @@ RUN chown -R ${USER_NAME}:${USER_NAME} /${USER_NAME} USER ${USER_NAME} RUN SKIP_AP_EXT_ENV=$SKIP_AP_EXT_ENV SKIP_AP_GRAPHIC_ENV=$SKIP_AP_GRAPHIC_ENV SKIP_AP_COV_ENV=$SKIP_AP_COV_ENV SKIP_AP_GIT_CHECK=$SKIP_AP_GIT_CHECK \ + DO_AP_STM_ENV=$DO_AP_STM_ENV \ USER=${USER_NAME} \ Tools/environment_install/install-prereqs-ubuntu.sh -y