Rev 46 | Blame | Compare with Previous | Last modification | View Log | RSS feed
# /usr/bin/bash##if [ ! -r $1 ] ; thenecho "File not found: $1"exit 1fiset -xOLD=$1NEW=$1.newTMP=$1._tmpindent $OLD -o $TMPsed < $TMP > $NEW -e 's/( );/();/g' -e 's/( )/()/g' \-e 's/^\( \+\)( void ) /\1/g' -e 's/^\( \+\)\*\* /\1* /g'rm $TMP