remove useless dockerfile arg

This commit is contained in:
Malte Jürgens 2022-05-05 21:09:47 +02:00
parent ddd23628a8
commit 7804827e9e
No known key found for this signature in database
GPG Key ID: D29FBD5F93C0CFC3

View File

@ -3,7 +3,6 @@ FROM $distro
ARG version=error
ARG source_release=error
ARG full_version=error
# we use this wasi version
ENV wasi_fullversion 14.0