diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -77,6 +77,7 @@ if [ $ec = 0 ]; then dist-clean : 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 Makefile | xargs rm -rf find -type f -name "*~" | xargs rm -f rm -f CMakeCache.txt |