bugfix: trying to fix GitHub Action

diff --git a/build.sh b/build.sh
index 59e9e1396acd0217ac8923955cbe1b7ca837d1b5..7f4c50148f2ed0cf6e7237fd9f2cb0da3726bb4f 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -2,6 +2,8 @@
 
 . ./settings.sh
 
+echo "Installing on '$(uname -a)'"
+
 echo "Installing core libs"
 [ -d "$CORE_DIR/core" ] && sudo rm -r "$CORE_DIR/core"
 sudo mkdir -p "$CORE_DIR"