Use $(SSH) instead of ssh, so one only needs to specify a username once.
authorFabian Keil <fk@fabiankeil.de>
Sat, 20 Feb 2010 12:53:30 +0000 (12:53 +0000)
committerFabian Keil <fk@fabiankeil.de>
Sat, 20 Feb 2010 12:53:30 +0000 (12:53 +0000)
commite1c718b381de2ce4584efbceb7c6864d8415bc84
tree1aa5d0580600f8688270a44fac4ff7b626369a26
parentba6a7d5c4f40ae265317d708e40a5272e5771158
Use $(SSH) instead of ssh, so one only needs to specify a username once.

Yet to be tested ...
GNUmakefile.in