diff options
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/ci-run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/ci-run.sh b/dist/ci-run.sh index 70e6b6d44..928fa201a 100755 --- a/dist/ci-run.sh +++ b/dist/ci-run.sh @@ -425,7 +425,7 @@ ci_run () { # Build ghdl/ghdl:$GHDL_IMAGE_TAG image build_img_ghdl case "$GHDL_IMAGE_TAG" in - *ubuntu*) + *ubuntu*|*buster*) GHDL_TEST_IMAGE="test:$GHDL_IMAGE_TAG-py" docker build -t "$GHDL_TEST_IMAGE" - <<-EOF FROM ghdl/ghdl:$GHDL_IMAGE_TAG |