我可以使用GNU make的SHELL变量连接到远程shell吗？

Question

我正在开发的一个项目使用gnu make进行测试。我想测试一个没有make实现的平台，但确实有一个POSIX shell。

是否可以创建一个脚本（最好是在python中），可以“缝合”远程shell来制作，并将其放入make的SHELL环境变量中？

如果没有，是否还有其他人可以想到的方式呢？

Answer 1

有可能。

创建一个将命令转发到远程主机的脚本。例如：

#!/bin/bash
shift # remove -c argument
exec ssh remote_host "$@"

并使其可执行（chmod +x）。

然后在Makefile：

SHELL := './my_shell.sh'
all :
    @echo `hostname` is making $@

输出：

$ make
remote_host.peer1.net is making all