diff options
| -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} ; \ |