diff options
| author | simonmar <unknown> | 2000-09-05 10:16:41 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2000-09-05 10:16:41 +0000 |
| commit | 5a5747202b4fb5c42bdc1ebcacb9f9b7bf87cdc7 (patch) | |
| tree | 2a2b3e8050e6a2a9013fc689a7a9b91871a99cb9 /distrib | |
| parent | a907dbeeda3b6156578714e5be94b159c0455a25 (diff) | |
| download | haskell-5a5747202b4fb5c42bdc1ebcacb9f9b7bf87cdc7.tar.gz | |
[project @ 2000-09-05 10:16:40 by simonmar]
Rename the make variable TMPDIR to DEFAULT_TMPDIR. This fixes the
problem that saying 'TMPDIR=/foo make' in an fptools tree didn't work,
because GNU make is in the habit of overriding an environment variable
with the value of the corresponding make variable in a sub-process.
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/Makefile-bin.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in index 61c0cf5e81..f81bcaeb52 100644 --- a/distrib/Makefile-bin.in +++ b/distrib/Makefile-bin.in @@ -81,7 +81,7 @@ CHMOD = chmod INSTALL = @INSTALL@ exeext = @exeext@ SED = @SedCmd@ -TMPDIR = /tmp +DEFAULT_TMPDIR = /tmp # sigh INSTALL_DIR = ./mkdirhier @@ -130,7 +130,7 @@ config-pkgs :: echo '$$'"libexecdir='$(libdir)';" >> bin/$(platform)/$$i ; \ echo '$$'"datadir='$(datadir)';" >> bin/$(platform)/$$i ; \ echo '$$'"SED='$(SED)';" >> bin/$(platform)/$$i ; \ - echo '$$'"TMPDIR='$(TMPDIR)';" >> bin/$(platform)/$$i ; \ + echo '$$'"DEFAULT_TMPDIR='$(DEFAULT_TMPDIR)';" >> bin/$(platform)/$$i ; \ cat bin/$(platform)/$$i.prl >> bin/$(platform)/$$i ; \ $(CHMOD) $(BIN_PERMS) bin/$(platform)/$$i; \ echo "Done."; \ @@ -147,7 +147,7 @@ config-pkgs :: echo '$$'"libexecdir='$(libdir)';" >> lib/$(platform)/$$i ; \ echo '$$'"datadir='$(datadir)';" >> lib/$(platform)/$$i ; \ echo '$$'"SED='$(SED)';" >> lib/$(platform)/$$i ; \ - echo '$$'"TMPDIR='$(TMPDIR)';" >> lib/$(platform)/$$i ; \ + echo '$$'"DEFAULT_TMPDIR='$(DEFAULT_TMPDIR)';" >> lib/$(platform)/$$i ; \ cat lib/$(platform)/$$i.prl >> lib/$(platform)/$$i; \ $(CHMOD) $(BIN_PERMS) lib/$(platform)/$$i; \ echo "Done."; \ @@ -164,7 +164,7 @@ config-pkgs :: echo "libexecdir='$(libdir)'" >> bin/$(platform)/$$i ; \ echo "datadir='$(datadir)'" >> bin/$(platform)/$$i ; \ echo "SED='$(SED)'" >> bin/$(platform)/$$i ; \ - echo "TMPDIR='$(TMPDIR)'" >> bin/$(platform)/$$i ; \ + echo "DEFAULT_TMPDIR='$(DEFAULT_TMPDIR)'" >> bin/$(platform)/$$i ; \ cat bin/$(platform)/$$i.sh >> bin/$(platform)/$$i; \ $(CHMOD) $(BIN_PERMS) bin/$(platform)/$$i; \ echo "Done."; \ |