12345678910111213141516171819202122 |
- #!/bin/sh
- # Run this script to indent the GNUnet code. When run without arguments,
- # it indents the ENTIRE src/ tree. Run with 'src/XXX' to indent the
- # src/XXX directory.
- #
- # This script is in the public domain.
- if test $# = 0
- then
- PATHS=src/
- else
- PATHS="$@"
- fi
- find $PATHS -name "*.c" -exec indent {} \;
- find $PATHS -name "*.h" -exec indent {} \;
- find $PATHS -name "*.c" -exec indent {} \;
- find $PATHS -name "*.h" -exec indent {} \;
- find $PATHS -name "*.c" -exec contrib/scripts/removetrailingwhitespace.py {} \;
- find $PATHS -name "*.h" -exec contrib/scripts/removetrailingwhitespace.py {} \;
- if test -n "`dos2unix -V | head -n1 | awk '{print $1 $2}'`"; then
- find $PATHS -name "*.c" -exec dos2unix {} \;
- find $PATHS -name "*.h" -exec dos2unix {} \;
- fi
|