Remove python2 from base_tools.sh

Signed-off-by: Andy Bui <[email protected]>
seL4 · Jun 12, 2023 · 4fdb96a · 4fdb96a
1 parent 0d9f9f7
commit 4fdb96a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/base_tools.sh b/scripts/base_tools.sh
@@ -77,14 +77,14 @@ as_root apt-get install -y --no-install-recommends \
         iputils-ping \
         jq \
         make \
-        python \
+        python-is-python3 \
         python3-dev \
         python3-pip \
         ssh \
         traceroute \
         # end of list
 
-# Install python dependencies for both python 2 & 3
+# Install python dependencies
 # Upgrade pip first, then install setuptools (required for other pip packages)
 # Install some basic python tools
 as_root pip3 install --no-cache-dir \