message: copy libhermit.a to /root/.cargo/lib/rustlib/x86_64-unknown-hermit/lib
diff: @@ -94,7 +94,7 @@ deploy:docker:
  stage: deploy
  script:
  - echo "COPY . /src" >> Dockerfile
  - - echo "RUN cp /src/target/x86_64-unknown-hermit-kernel/release/libhermit.a /opt/hermit/x86_64-hermit/lib/" >> Dockerfile
  + - echo "RUN cp /src/target/x86_64-unknown-hermit-kernel/release/libhermit.a /root/.cargo/lib/rustlib/x86_64-unknown-hermit/lib" >> Dockerfile
  - echo "RUN rm -rf /src" >> Dockerfile
  - echo "WORKDIR /volume" >> Dockerfile
  - docker build -t ${FINAL} .
  