From f32046a7cdf175892218ac3e26e1853a7b381022 Mon Sep 17 00:00:00 2001 From: Kevin Krakauer Date: Wed, 14 Sep 2022 10:46:40 -0700 Subject: [PATCH] remove unnecessary dockerfile step After cl/473873880 this is no longer necessary. PiperOrigin-RevId: 474334039 --- images/default/Dockerfile | 3 --- 1 file changed, 3 deletions(-) diff --git a/images/default/Dockerfile b/images/default/Dockerfile index 433183a2f..11149bd51 100644 --- a/images/default/Dockerfile +++ b/images/default/Dockerfile @@ -10,9 +10,6 @@ RUN apt-get update && apt-get install -y curl gnupg2 git \ pkg-config libffi-dev patch diffutils libssl-dev iptables kmod \ clang -# For compiling BPF with clang. -RUN ln -s /usr/include/$(uname -m)-linux-gnu/asm /usr/include/asm - # Install Docker client for the website build. RUN curl -fsSL https://download.docker.com/linux/ubuntu/gpg | apt-key add - RUN add-apt-repository \