diff options
| author | rhtenhove <rhtenhove@users.noreply.github.com> | 2022-07-04 14:32:48 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-04 14:32:48 -0400 |
| commit | 6c9c8fdc651e3c3376f3ba6590c49424be1844d7 (patch) | |
| tree | d656304dd91b8431c00c1cf8228dd83889042c5a /Dockerfile | |
| parent | 3e65e1a029c44b33a77ca04724335ee3ecd30e67 (diff) | |
| download | afl++-6c9c8fdc651e3c3376f3ba6590c49424be1844d7.tar.gz | |
check code formatting (#5)
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile index 29ca2a5f..a82fffdc 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,8 +16,8 @@ RUN apt-get update && apt-get full-upgrade -y && \ apt-get install -y --no-install-recommends wget ca-certificates && \ rm -rf /var/lib/apt/lists/* -ARG LLVM_VERSION=14 -ARG GCC_VERSION=12 +ENV LLVM_VERSION=14 +ENV GCC_VERSION=12 RUN echo "deb [signed-by=/etc/apt/keyrings/llvm-snapshot.gpg.key] http://apt.llvm.org/jammy/ llvm-toolchain-jammy-${LLVM_VERSION} main" > /etc/apt/sources.list.d/llvm.list && \ wget -qO /etc/apt/keyrings/llvm-snapshot.gpg.key https://apt.llvm.org/llvm-snapshot.gpg.key |