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 | e4a1067abaed55bf6ee2d709f080073e157020c5 (patch) | |
| tree | cc7bff1b2ac55811e19c3a810df86f591954d665 | |
| parent | ec7dbc045ecbd4fab29b9095aa804546e26f7ff5 (diff) | |
Formerly Maketools.~14~
| -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 |