message: fix path to libhermit-rs
diff: @@ -45,9 +45,9 @@ build:demo:
  - echo "rusty-hermit at commit $(git rev-parse HEAD)"
  # Ensure that libhermit-rs is empty - This shouldn't be necessary since we don't initialize the submodules
  # But let's do it anyway to be safe
  - - if [ -d "rusty-hermit/libhermit-rs" ]; then rm -rf rusty-hermit/libhermit-rs; fi
  - - mkdir rusty-hermit/libhermit-rs
  - - shopt -s dotglob nullglob && mv $HOME/tmp_libhermit-rs/* rusty-hermit/libhermit-rs/.
  + - if [ -d "libhermit-rs" ]; then rm -rf libhermit-rs; fi
  + - mkdir libhermit-rs
  + - shopt -s dotglob nullglob && mv $HOME/tmp_libhermit-rs/* libhermit-rs/.
  - cargo build -p rusty_demo
  - RUSTFLAGS="-Clinker-plugin-lto" cargo build -p rusty_demo --release
  artifacts:
  