From eb92561bd685961889cc553cd96db4a569eefec5 Mon Sep 17 00:00:00 2001
From: Andrew Branson <andrew.branson@jolla.com>
Date: Mon, 29 Jun 2026 16:40:30 +0200
Subject: Add remote Android build tools and request logging

Add Android build host config and MCP tools for remote AppSupport builds.

Extend device RPM installs to copy dependency sets and install them together.

Log MCP request and tool-call lifecycle events, and document the config.
---
 bin/sailfish-devel-mcp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'bin/sailfish-devel-mcp')

diff --git a/bin/sailfish-devel-mcp b/bin/sailfish-devel-mcp
index 94a946e..b2741fa 100755
--- a/bin/sailfish-devel-mcp
+++ b/bin/sailfish-devel-mcp
@@ -6,6 +6,7 @@ PYTHONPATH="$root/src${PYTHONPATH:+:$PYTHONPATH}"
 export PYTHONPATH
 PYTHONUNBUFFERED="${PYTHONUNBUFFERED:-1}"
 export PYTHONUNBUFFERED
+server_label="${SAILFISH_DEVEL_MCP_SERVER_LABEL:-sailfish-devel-mcp}"
 
 if [ -n "${SAILFISH_DEVEL_MCP_LOG_DIR:-}" ]; then
     log_dir=$SAILFISH_DEVEL_MCP_LOG_DIR
@@ -56,8 +57,8 @@ if mkdir -p "$log_dir" 2>/dev/null && touch "$log_file" 2>/dev/null; then
         trap 'status=$?; log_exit_once "$status"' EXIT
 
         printf '\n' >&2
-        printf '[%s] starting sailfish-devel-mcp wrapper_pid=%s parent_pid=%s' \
-            "$(date -Is)" "$$" "${PPID:-unknown}" >&2
+        printf '[%s] starting sailfish-devel-mcp server_label=%s wrapper_pid=%s parent_pid=%s' \
+            "$(date -Is)" "$server_label" "$$" "${PPID:-unknown}" >&2
         if [ "$#" -gt 0 ]; then
             printf ' argv=' >&2
             for arg do
-- 
cgit v1.2.3