来源：https://stackoverflow.com/questions/62160745/debugging-mpi-remotely-using-gdb 标签 c debugging raspberry-pi gdb mpi
