Skip to content

Commit

Permalink
Merge pull request #59 from docToolchain/fix-Jenkins
Browse files Browse the repository at this point in the history
fix jenkins Dockerfile
  • Loading branch information
PacoVK authored Mar 1, 2024
2 parents 4fffc7b + f3668b2 commit 4a9b160
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions jenkins-ssh-agent/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -32,9 +32,9 @@ ENV HOME=/home/jenkins
ENV GRADLE_USER_HOME=/home/jenkins/.gradle

ARG DTC_VERSION
RUN mkdir docToolchain \
&& curl -LO https://github.com/docToolchain/docToolchain/releases/download/${DTC_VERSION}/docToolchain-${DTC_VERSION#?}.zip \
&& unzip docToolchain-${DTC_VERSION#?}.zip -d docToolchain \
RUN curl -LO https://github.com/docToolchain/docToolchain/releases/download/${DTC_VERSION}/docToolchain-${DTC_VERSION#?}.zip \
&& unzip docToolchain-${DTC_VERSION#?}.zip \
&& mv docToolchain-${DTC_VERSION#?} docToolchain \
&& rm docToolchain-${DTC_VERSION#?}.zip \
&& cd docToolchain \
# This is a workaround to suppress the initialization phase of docToolchain. \
Expand Down

0 comments on commit 4a9b160

Please sign in to comment.