diff options
| author | Vadim Kaushan <admin@disasm.info> | 2019-02-12 19:15:00 +0300 |
|---|---|---|
| committer | Vadim Kaushan <admin@disasm.info> | 2019-02-12 19:15:00 +0300 |
| commit | 1f1a82434b0d8679dbaaab8c2dd53c78d30a8c8c (patch) | |
| tree | 1f731f7cd7a6539db78b6b255240ab2c423256c0 /src/ci | |
| parent | 06f21a5314b7969bf5ee9ec0819c5ddffbad77f9 (diff) | |
Add riscv64gc-unknown-none-elf target
Diffstat (limited to 'src/ci')
| -rw-r--r-- | src/ci/docker/dist-various-1/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/docker/dist-various-1/Dockerfile b/src/ci/docker/dist-various-1/Dockerfile index 87ace7a9adc..f80293b182e 100644 --- a/src/ci/docker/dist-various-1/Dockerfile +++ b/src/ci/docker/dist-various-1/Dockerfile @@ -113,6 +113,7 @@ ENV TARGETS=$TARGETS,thumbv8m.main-none-eabi ENV TARGETS=$TARGETS,riscv32imc-unknown-none-elf ENV TARGETS=$TARGETS,riscv32imac-unknown-none-elf ENV TARGETS=$TARGETS,riscv64imac-unknown-none-elf +ENV TARGETS=$TARGETS,riscv64gc-unknown-none-elf ENV TARGETS=$TARGETS,armebv7r-none-eabi ENV TARGETS=$TARGETS,armebv7r-none-eabihf ENV TARGETS=$TARGETS,armv7r-none-eabi |