summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1994-04-01 22:54:29 +0000
committerRoland McGrath <roland@gnu.org>1994-04-01 22:54:29 +0000
commit6b7962845e23bc65662385f6f410bfb7d7624f32 (patch)
treefa74b0c18c32e8cb24cd9b65cec8045d02f68920
parent02c33abade3af7cffc7be114ba0faf328f241e80 (diff)
Formerly Maketools.~6~
-rw-r--r--=Maketools4
1 files changed, 4 insertions, 0 deletions
diff --git a/=Maketools b/=Maketools
index b8d02bab..8e3995da 100644
--- a/=Maketools
+++ b/=Maketools
@@ -18,7 +18,11 @@ ifndef HOST_CC
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
+else
+MIGCOM=/usr/local/lib/migcom
+endif
CPP=/usr/local/lib/gcc-lib/$(CCTARGET)/$(CCVERSION)/cpp
export CPP
# I put a /usr/local/bin/mig on the hp300s that will run $CPP locally and