aboutsummaryrefslogtreecommitdiffstats
path: root/configure1.in
diff options
context:
space:
mode:
authorJim Blandy <[email protected]>1993-05-30 21:40:18 +0000
committerJim Blandy <[email protected]>1993-05-30 21:40:18 +0000
commitcc40a99ee03ca415c060db1ab7285889dc4c2fdc (patch)
tree57fbc00db30f4781f202183c63f6086e7f91534e /configure1.in
parente6cc3307516191803c1976fffbd6f4c6adf666e3 (diff)
* configure.in: Use s/bsd4-3.h for mips-mips-riscos4.
* configure.in: Fix logic to detect if srcdir is already configured.
Diffstat (limited to 'configure1.in')
-rwxr-xr-xconfigure1.in11
1 files changed, 6 insertions, 5 deletions
diff --git a/configure1.in b/configure1.in
index 1758155efd..b24dfb18af 100755
--- a/configure1.in
+++ b/configure1.in
@@ -356,10 +356,11 @@ esac
#### Make sure that the source directory doesn't already have a
#### configured system in it.
-if [ -f "${srcdir}/src/config.h" ] ; then
- (echo "${progname}: the directory tree \`${srcdir}' is being used as a build"
- echo " directory right now; it has been configured in its own right."
- echo " You can't use srcdir in this situation.") >&2
+if [ `pwd` != `(cd ${srcdir} && pwd)` ] \
+ && [ -f "${srcdir}/src/config.h" ] ; then
+ (echo "${progname}: the directory tree \`${srcdir}' is being used"
+ echo " as a build directory right now; it has been configured in its own"
+ echo " right. You can't use srcdir in this situation.") >&2
exit 1
fi
@@ -686,7 +687,7 @@ case "${configuration}" in
## handling two odd situations, and that every other situation
## should use mips.h and usg5-2-2, they being listed first.
mips-mips-riscos4* )
- machine=mips4 opsys=usg5-2-2
+ machine=mips4 opsys=bsd4-3
;;
mips-mips-bsd* )
machine=mips opsys=bsd4-3