Listing 3. Shell Script run-make

#!/bin/sh
#
make
echo ssh -C remote \
   \"cd source-directory && make $*\"
ssh -C remote "cd source-directory && make $*"