diff --git a/src/indent.sh b/src/indent.sh index 79382e843..f3113ceab 100755 --- a/src/indent.sh +++ b/src/indent.sh @@ -14,3 +14,13 @@ find ../magic/src/ -name "*.c" -exec indent -nbfda -npcs -npsl -bli0 --no-tabs { echo "Indenting magic/src/*.h" find ../magic/src/ -name "*.h" -exec indent -nbfda -npcs -npsl -bli0 --no-tabs {} \; +echo +echo "You probably want to remove the backup (*.c~ and *.h~) files:" +echo -n " * Back-up files in src/: " +find . -name "*~" | wc -l + +echo -n " * Back-up files in magic/src/: " +find ../magic/src -name "*~" | wc -l + +echo +