From 1ff1f1417a0362f7a556fba84f61ec0080cf6c68 Mon Sep 17 00:00:00 2001
From: FliegendeWurst <2012gdwu+github@posteo.de>
Date: Fri, 4 Jun 2021 10:13:33 +0200
Subject: [PATCH] build script: require up to date lock file

---
 build.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/build.sh b/build.sh
index c17f08b..8c4e3cb 100755
--- a/build.sh
+++ b/build.sh
@@ -1,10 +1,8 @@
 #!/bin/sh
 rustup target add x86_64-unknown-linux-musl
-cargo build --release --target x86_64-unknown-linux-musl
-strip target/release/KIT-ILIAS-downloader
+cargo build --locked --release --target x86_64-unknown-linux-musl
 
 rustup target add x86_64-pc-windows-gnu
 # if on Debian or similar
 sudo apt install mingw-w64
-cargo build --release --all-features --target x86_64-pc-windows-gnu
-strip target/x86_64-pc-windows-gnu/release/KIT-ILIAS-downloader.exe
+cargo build --locked --release --all-features --target x86_64-pc-windows-gnu