use the debug version within the Docker container

hermit-os · Oct 6, 2019 · b230ab1 · b230ab1
1 parent eac8373
commit b230ab1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -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 /root/.cargo/lib/rustlib/x86_64-unknown-hermit/lib" >> Dockerfile
+    - echo "RUN cp /src/target/x86_64-unknown-hermit-kernel/debug/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} .