Commit 850b8518 authored by Emanuel Jacob's avatar Emanuel Jacob

Merge branch 'dev/ext-sockets' into 'master'

Add ext-sockets

See merge request !5
parents d02d2c5a bbcbd0e6
Pipeline #48683 passed with stage
in 15 minutes and 46 seconds
......@@ -45,6 +45,7 @@ RUN set -ex; \
xsl \
zip \
sodium \
sockets \
; \
apt-get purge -y --auto-remove -o APT::AutoRemove::RecommendsImportant=false ${build_dependencies}; \
rm -rf /var/lib/apt/lists/*; \
......
......@@ -45,6 +45,7 @@ RUN set -ex; \
xsl \
zip \
sodium \
sockets \
; \
apt-get purge -y --auto-remove -o APT::AutoRemove::RecommendsImportant=false ${build_dependencies}; \
rm -rf /var/lib/apt/lists/*; \
......
......@@ -42,6 +42,7 @@ RUN set -ex; \
xsl \
zip \
sodium \
sockets \
; \
apt-get purge -y --auto-remove -o APT::AutoRemove::RecommendsImportant=false ${build_dependencies}; \
rm -rf /var/lib/apt/lists/*; \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment