COIN-OR::LEMON - Graph Library

Changeset 353:f8832dc16d45 in lemon


Ignore:
Timestamp:
10/28/08 15:37:46 (10 years ago)
Author:
Peter Kovacs <kpeter@…>
Branch:
default
Message:

Use standard error/warning message format in the unifier script

File:
1 edited

Legend:

Unmodified
Added
Removed
  • scripts/unify-sources.sh

    r343 r353  
    8787 
    8888function check_action() { 
     89    if [ "$3" == 'tabs' ] 
     90    then 
     91        PATTERN=$(echo -e '\t') 
     92    elif [ "$3" == 'trailing spaces' ] 
     93    then 
     94        PATTERN='\ +$' 
     95    else 
     96        PATTERN='*' 
     97    fi 
     98 
    8999    if ! diff -q $1 $2 >/dev/null 
    90100    then 
    91         echo 
    92         echo -n "      $3 failed at line(s): " 
    93         echo -n $(diff $1 $2 | grep '^[0-9]' | sed "s/^\(.*\)c.*$/ \1/g" |  
    94                   sed "s/,/-/g" | paste -s -d',') 
    95         FAILED=YES 
     101        if [ "$PATTERN" == '*' ] 
     102        then 
     103            diff $1 $2 | grep '^[0-9]' | sed "s|^\(.*\)c.*$|$2:\1: check failed: $3|g" | 
     104              sed "s/:\([0-9]*\),\([0-9]*\):\(.*\)$/:\1:\3 (until line \2)/g" 
     105        else 
     106            grep -n -E "$PATTERN" $2 | sed "s|^\([0-9]*\):.*$|$2:\1: check failed: $3|g" 
     107        fi 
     108        FAILED=YES 
    96109    fi 
    97110} 
    98111 
    99112function check_warning() { 
    100     echo 
    101113    if [ "$2" == 'long lines' ] 
    102114    then 
    103         echo -n "      $2 warning at line(s): " 
    104         echo -n $(grep -n -E '.{81,}' $1 | sed "s/^\([0-9]*\)/ \1\t/g" |  
    105                   cut -f 1 | paste -s -d',') 
    106     else 
    107         echo -n "      $2 warning" 
     115        grep -n -E '.{81,}' $1 | sed "s|^\([0-9]*\):.*$|$1:\1: warning: $2|g" 
     116    else 
     117        echo "$1: warning: $2" 
    108118    fi 
    109119    WARNED=YES 
     
    237247 
    238248function process_file() { 
    239     echo -n "    $ACTION $1..." 
     249    if [ "$ACTION" == 'update' ] 
     250    then 
     251        echo -n "    $ACTION $1..." 
     252    else 
     253        echo "    $ACTION $1..." 
     254    fi 
    240255 
    241256    CHECKING="header tabs spaces long_lines" 
     
    247262    done 
    248263    "$ACTION"_end $1 
    249     echo 
     264    if [ "$ACTION" == 'update' ] 
     265    then 
     266        echo 
     267    fi 
    250268} 
    251269 
Note: See TracChangeset for help on using the changeset viewer.