diff --git a/Dockerfile b/Dockerfile index ee3f295..350c576 100644 --- a/Dockerfile +++ b/Dockerfile @@ -9,6 +9,9 @@ RUN apt update && apt install -y \ pkg-config \ libudev-dev \ procps \ + gcc-riscv64-unknown-elf \ + gcc-riscv64-linux-gnu \ + binutils-riscv64-linux-gnu \ && rm -rf /var/lib/apt/lists/* RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y diff --git a/Jenkinsfile b/Jenkinsfile index 683b17f..b282227 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,7 +15,7 @@ pipeline { sh "mkdir -p ${targetDir}" sh """ - docker build --network=host -t e-monitor . + docker build --network=host -t --no-cache e-monitor . docker run --name e-monitor --dns 8.8.8.8 --network=host e-monitor:latest """