diff options
| -rw-r--r-- | Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile index d82228fe..c8bfaf33 100644 --- a/Dockerfile +++ b/Dockerfile @@ -13,6 +13,7 @@ RUN apt-get update && apt-get -y install \ python3 \ python3-dev \ python3-setuptools \ + python-is-python3 \ gcc-9 \ gcc-9-plugin-dev \ gcc-9-multilib \ |