diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-05-05 23:26:07 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-05 23:26:07 +0000 |
| commit | 103a7bb89aa7c9cdc2f0ceded5969564b61f4dfc (patch) | |
| tree | 6388b41269c2a91ba376d7bb79b742bd1f66bb73 /=Maketools | |
| parent | 6bec461d5a99c929035ab51391d50c7d00c5b6eb (diff) | |
Formerly Maketools.~14~
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 -n $(mighost) cd `pwd` \; /usr/local/lib/migcom +MIGCOM=rsh $(mighost) cd `pwd` \; /usr/local/lib/migcom else MIGCOM=/usr/local/lib/migcom endif |