From 26c96e49cd6999f4c168e6f18af1f9d28daab7c4 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sun, 21 Feb 2021 01:01:11 +0000 Subject: [PATCH] travis: dont hang when installing tzdata --- contrib/ci/Dockerfiles/z3_base_ubuntu_20.04.Dockerfile | 2 ++ contrib/ci/scripts/sanitizer_env.sh | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_20.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_20.04.Dockerfile index 5e0bcbbad..9ef85c673 100644 --- 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 index 3f0795ef3..1a16b98a6 100644 --- 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() {