From 48fce3facfc8b6969a82c5bcaa950fa2c5a71fd2 Mon Sep 17 00:00:00 2001 From: Neil Blakey-Milner Date: Wed, 3 Jan 2001 11:16:46 +0000 Subject: As a quick fix, use /tmp instead of the currently hardcoded /usr/tmp. --- Tools/scripts/mkptools/mkpbuild | 2 +- Tools/scripts/mkptools/mkpinstall | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Tools/scripts/mkptools/mkpbuild b/Tools/scripts/mkptools/mkpbuild index e06f89f373d7..846578d455ba 100755 --- a/Tools/scripts/mkptools/mkpbuild +++ b/Tools/scripts/mkptools/mkpbuild @@ -31,7 +31,7 @@ my ($user, $origdir, $portname, $tmpdir, $wdpdir, $predir, $hmake); chomp ($user = `logname`); chomp ($origdir = `pwd`); chomp ($portname = `basename $origdir`); -$tmpdir = "/usr/tmp/$user.$portname"; +$tmpdir = "/tmp/$user.$portname"; $wdpdir = "$tmpdir/wdp"; $predir = "$tmpdir/prefix"; diff --git a/Tools/scripts/mkptools/mkpinstall b/Tools/scripts/mkptools/mkpinstall index 598982cfca96..13f9947ac0eb 100755 --- a/Tools/scripts/mkptools/mkpinstall +++ b/Tools/scripts/mkptools/mkpinstall @@ -31,7 +31,7 @@ my ($user, $origdir, $portname, $tmpdir, $wdpdir, $predir, $hmake); chomp ($user = `logname`); chomp ($origdir = `pwd`); chomp ($portname = `basename $origdir`); -$tmpdir = "/usr/tmp/$user.$portname"; +$tmpdir = "/tmp/$user.$portname"; $wdpdir = "$tmpdir/wdp"; $predir = "$tmpdir/prefix"; -- cgit v1.2.3