travis: dont hang when installing tzdata

Z3Prover · Feb 21, 2021 · 26c96e4 · 26c96e4
1 parent 3166685
commit 26c96e4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_20.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_20.04.Dockerfile
@@ -1,5 +1,6 @@
 FROM ubuntu:20.04
 
+ARG DEBIAN_FRONTEND=noninteractive
 RUN apt-get update && \
     apt-get -y --no-install-recommends install \
         cmake \
@@ -14,6 +15,7 @@ RUN apt-get update && \
         graphviz \
         python3 \
         python3-setuptools \
+        python-is-python3 \
         sudo
 
 RUN curl -SL https://packages.microsoft.com/config/ubuntu/20.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \

diff --git a/contrib/ci/scripts/sanitizer_env.sh b/contrib/ci/scripts/sanitizer_env.sh
@@ -23,7 +23,7 @@ if [ "X${ASAN_BUILD}" = "X1" ]; then
     export ASAN_OPTIONS="${ASAN_OPTIONS},print_suppressions=0"
   fi
 
-  : ${ASAN_SYMBOLIZER_PATH?"ASAN_SYMBOLIZER_PATH must be specified"}
+  #: ${ASAN_SYMBOLIZER_PATH?"ASAN_SYMBOLIZER_PATH must be specified"}
 
   # Run command without checking for leaks
   function run_no_lsan() {