diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-05-05 23:16:46 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-05 23:16:46 +0000 |
commit | b7d425bebd2a4121d0b7539e2db922447fc3ddde (patch) | |
tree | b9b5b3ec0f6e5d96d03cdfb783d42c3ef3144d72 | |
parent | c2fbe0571f74769aeaf049f6d713b3f3a9271e75 (diff) |
Formerly Maketools.~13~
-rw-r--r-- | =Maketools | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ export HOST_CC := $(CC) endif CC=gcc $(CCTYPE) -O2 -pipe # Ceci n'est pas une pipe. ifeq (,$(wildcard /usr/local/lib/migcom)) -MIGCOM=rsh $(mighost) cd `pwd` \; /usr/local/lib/migcom +MIGCOM=rsh -n $(mighost) cd `pwd` \; /usr/local/lib/migcom else MIGCOM=/usr/local/lib/migcom endif |