Skip to content

Commit

Permalink
update key/value format [skip ci]
Browse files Browse the repository at this point in the history
  • Loading branch information
wsipak committed Oct 9, 2024
1 parent d7e56f9 commit e86c6be
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions .github/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -6,11 +6,11 @@ ARG OPENOCD_VERSION
ARG RENODE_VERSION
ARG SPIKE_VERSION

ENV VERILATOR_VERSION $VERILATOR_VERSION
ENV VERILATOR_UVM_VERSION $VERILATOR_UVM_VERSION
ENV OPENOCD_VERSION $OPENOCD_VERSION
ENV RENODE_VERSION $RENODE_VERSION
ENV SPIKE_VERSION $SPIKE_VERSION
ENV VERILATOR_VERSION=$VERILATOR_VERSION
ENV VERILATOR_UVM_VERSION=$VERILATOR_UVM_VERSION
ENV OPENOCD_VERSION=$OPENOCD_VERSION
ENV RENODE_VERSION=$RENODE_VERSION
ENV SPIKE_VERSION=$SPIKE_VERSION

# All versions shall be stated explicitly
RUN : "${VERILATOR_VERSION:?Environment variable VERILATOR_VERSION is not set or empty}" && \
Expand Down

0 comments on commit e86c6be

Please sign in to comment.