scripts/unify-sources.sh
changeset 329 d900fd1e760f
parent 328 cdbff91c2166
child 331 2f5c0c42a5cd
     1.1 --- a/scripts/unify-sources.sh	Mon Oct 20 12:17:24 2008 +0200
     1.2 +++ b/scripts/unify-sources.sh	Mon Oct 20 12:46:39 2008 +0200
     1.3 @@ -88,13 +88,24 @@
     1.4  function check_action() {
     1.5      if ! diff -q $1 $2 >/dev/null
     1.6      then
     1.7 -	echo -n " [$3 failed]"
     1.8 +	echo
     1.9 +	echo -n "      $3 failed at line(s): "
    1.10 +	echo -n $(diff $1 $2 | grep '^[0-9]' | sed "s/^\(.*\)c.*$/ \1/g" | 
    1.11 +	          sed "s/,/-/g" | paste -s -d',')
    1.12  	FAILED=YES
    1.13      fi
    1.14  }
    1.15  
    1.16  function check_warning() {
    1.17 -    echo -n " [$2 warning]"
    1.18 +    echo
    1.19 +    if [ "$2" == 'long lines' ]
    1.20 +    then
    1.21 +        echo -n "      $2 warning at line(s): "
    1.22 +        echo -n $(grep -n -E '.{81,}' $1 | sed "s/^\([0-9]*\)/ \1\t/g" | 
    1.23 +                  cut -f 1 | paste -s -d',')
    1.24 +    else
    1.25 +        echo -n "      $2 warning"
    1.26 +    fi
    1.27      WARNED=YES
    1.28  }
    1.29