message: Test on Travis-CI using the packages designed for HermitCore-rs.
diff: @@ -36,7 +36,7 @@ apt-get install -y qemu-system-x86 cmake wget curl gnupg checkinstall gawk dialo
  echo "deb [trusted=yes] https://dl.bintray.com/hermitcore/ubuntu bionic main" | tee -a /etc/apt/sources.list
  apt-get -qq update
  -apt-get install -y --allow-unauthenticated binutils-hermit newlib-hermit pte-hermit-rs gcc-hermit libhermit
  +apt-get install -y --allow-unauthenticated binutils-hermit newlib-hermit-rs pte-hermit-rs gcc-hermit-rs libhermit-rs
  export PATH=/opt/hermit/bin:$PATH
  export PATH="$HOME/.cargo/bin:$PATH"
  