diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-05-24 20:15:17 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-24 20:15:17 +0000 |
| commit | 8d5695cdb31dc92536dd29b8c36b0583add656ee (patch) | |
| tree | 2cb60099929ef1e83f3c1a87fb85963b5c6c8911 | |
| parent | f6dfe6e7ab17747f63853ddab9cca0feccf8b1fe (diff) | |
Formerly Maketools.~16~
| -rw-r--r-- | =Maketools | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -26,8 +26,8 @@ ccdir = /usr/local/lib/gcc-lib/$(CCTARGET)/$(CCVERSION) ifndef HOST_CC export HOST_CC := $(CC) endif -CC=gcc $(CCTYPE) -O2 -pipe # Ceci n'est pas une pipe. -MIGHOSTCC= gcc $(MIGHOSTCCTYPE) -O2 -pipe +CC=gcc $(CCTYPE) -O2 +MIGHOSTCC= gcc $(MIGHOSTCCTYPE) -O2 ifeq (,$(wildcard /usr/local/lib/migcom)) MIGCOM=rsh $(mighost) cd `pwd` \; /usr/local/lib/migcom else |