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 | ec7dbc045ecbd4fab29b9095aa804546e26f7ff5 (patch) | |
| tree | 12b4fb6a45ae185e20fb50b8401bb0bc45a21248 /=Maketools | |
| parent | 1837dae205818d8546f54d2b43817cc4295db155 (diff) | |
Formerly Maketools.~13~
Diffstat (limited to '=Maketools')
| -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 |