diff options
| author | Glenn Morris <rgm@gnu.org> | 2011-05-24 01:16:58 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2011-05-24 01:16:58 -0700 |
| commit | 4ba4c54add7f291e655fb0a5555f7049a9ed17e9 (patch) | |
| tree | fdb209e2070435f056aea0ce1ad113bb9e33e198 /configure.in | |
| parent | 13c3daa4aed4b185596dd0bb6bc45bd941f1e3ab (diff) | |
| download | emacs-4ba4c54add7f291e655fb0a5555f7049a9ed17e9.tar.gz | |
Remove dead code in configure.in.
* configure.in: Remove test for already configured source directory.
AM_INIT_AUTOMAKE has already done a more stringent test. (Bug#953)
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/configure.in b/configure.in index c8f561a6c5e..aa7d890781c 100644 --- a/configure.in +++ b/configure.in @@ -364,17 +364,6 @@ case "${srcdir}" in * ) srcdir="`(cd ${srcdir}; pwd)`" ;; esac -#### Check if the source directory already has a configured system in it. -if test `pwd` != `(cd ${srcdir} && pwd)` \ - && test -f "${srcdir}/src/config.h" ; then - AC_MSG_WARN([[The directory tree `${srcdir}' is being used - as a build directory right now; it has been configured in its own - right. To configure in another directory as well, you MUST - use GNU make. If you do not have GNU make, then you must - now do `make distclean' in ${srcdir}, - and then run $0 again.]]) -fi - #### Given the configuration name, set machfile and opsysfile to the #### names of the m/*.h and s/*.h files we should use. |