do_build: Report the build host

diff --git a/do_build b/do_build
index 852b9503b1924fe6cfad35e530a09ad2d60b28a7..b5eac654fbc772b89f97d5dcf52b00522fe9bbf6 100755 (executable)
--- a/do_build
+++ b/do_build
@@ -8,6 +8,8 @@ set -e
 ssh root@"$build_host" unshare -n su $(id -u -n) <<-EOF
        set -e
 
+       echo Building on \$(hostname)
+
        echo \$PATH | grep -q "\$HOME/bin" || export PATH="\$HOME/bin:\$PATH"
        export LANG=C