Commit 88190b54 authored by Richard M. Stallman's avatar Richard M. Stallman

(do-install): Delete the dest dir, not the source dir,

when they are different.
parent 8428ef44
......@@ -332,7 +332,7 @@ do-install: mkdir
-set ${COPYDESTS} ; \
for dir in ${COPYDIR} ; do \
if [ `(cd $$1 ; pwd)` != `(cd $${dir} ; pwd)` ] ; then \
rm -rf $${dir} ; \
rm -rf $$1 ; \
fi ; \
done
-set ${COPYDESTS} ; \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment