COIN-OR::LEMON - Graph Library

Changeset 341:f8832dc16d45 in lemon-main for scripts


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

Use standard error/warning message format in the unifier script

File:
1 edited

Legend:

Unmodified
Added
Removed
  • scripts/unify-sources.sh

    r331 r341  
    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.