NoIssue: Build improvements

2025-12-26 23:44:23 +01:00
parent 0385cef6e8
commit eccc5bcf62
6 changed files with 13 additions and 7 deletions
--- a/clean.sh
+++ b/clean.sh
@@ -1 +1,4 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
 ./gradlew clean ; rm -rf build