diff options
Diffstat (limited to 'docker/base')
| -rw-r--r-- | docker/base/Dockerfile.j2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/base/Dockerfile.j2 b/docker/base/Dockerfile.j2 index 20669a86d..6cf31a796 100644 --- a/docker/base/Dockerfile.j2 +++ b/docker/base/Dockerfile.j2 @@ -12,7 +12,7 @@ RUN echo 'ERROR: {{ install_type }} is unavailable for {{ base_distro }}' \ {% endif %} {% elif base_distro in ['ubuntu', 'debian'] %} - {% if install_type not in ['source'] %} + {% if install_type not in ['source','binary'] %} RUN echo 'ERROR: {{ install_type }} is unavailable for {{ base_distro }}' \ && /bin/false |