diff options
author | Jim Blandy <jimb@redhat.com> | 1993-05-30 21:40:18 +0000 |
---|---|---|
committer | Jim Blandy <jimb@redhat.com> | 1993-05-30 21:40:18 +0000 |
commit | 6ee6cc70b23f9533e335fc9a9174f2db04d1cb2c (patch) | |
tree | 0032d400114857be09ff222faee44b55713c7fce /configure1.in | |
parent | a3753165aa148f038e1cb0748ace7deeb68956b5 (diff) | |
download | emacs-6ee6cc70b23f9533e335fc9a9174f2db04d1cb2c.tar.gz |
* 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-x | configure1.in | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/configure1.in b/configure1.in index 1758155efd8..b24dfb18af2 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 |