diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -303,12 +303,12 @@ EOF # Update Makefile with distclean and uninstall rules cat >> Makefile <<EOF distclean : clean - find -type d -name "CMakeFiles" | xargs rm -rf - find -type f -name "cmake_install.cmake" | xargs rm -rf - find -type f -name CMakeCache.txt | xargs rm -rf - find -type f -name install_manifest.txt | xargs rm -rf - find -type f -name Makefile | xargs rm -rf - find -type f -name "*~" | xargs rm -f + find . -type d -name "CMakeFiles" | xargs rm -rf + find . -type f -name "cmake_install.cmake" | xargs rm -rf + find . -type f -name CMakeCache.txt | xargs rm -rf + find . -type f -name install_manifest.txt | xargs rm -rf + find . -type f -name Makefile | xargs rm -rf + find . -type f -name "*~" | xargs rm -f rm -f CMakeCache.txt ${DOXY_DISTCLEAN} |