diff options
| author | Richard M. Stallman | 1993-05-27 22:12:55 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1993-05-27 22:12:55 +0000 |
| commit | 88190b5416ff66191e2d62e8cfecce560118151f (patch) | |
| tree | b9bc2abbf3d926006adb972ff4027478f5f54d38 | |
| parent | 8428ef44fcad5e2699a1d697e667286ef4b35561 (diff) | |
| download | emacs-88190b5416ff66191e2d62e8cfecce560118151f.tar.gz emacs-88190b5416ff66191e2d62e8cfecce560118151f.zip | |
(do-install): Delete the dest dir, not the source dir,
when they are different.
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 8b1371d0405..c11edcde473 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -332,7 +332,7 @@ do-install: mkdir | |||
| 332 | -set ${COPYDESTS} ; \ | 332 | -set ${COPYDESTS} ; \ |
| 333 | for dir in ${COPYDIR} ; do \ | 333 | for dir in ${COPYDIR} ; do \ |
| 334 | if [ `(cd $$1 ; pwd)` != `(cd $${dir} ; pwd)` ] ; then \ | 334 | if [ `(cd $$1 ; pwd)` != `(cd $${dir} ; pwd)` ] ; then \ |
| 335 | rm -rf $${dir} ; \ | 335 | rm -rf $$1 ; \ |
| 336 | fi ; \ | 336 | fi ; \ |
| 337 | done | 337 | done |
| 338 | -set ${COPYDESTS} ; \ | 338 | -set ${COPYDESTS} ; \ |